svf-tools 1.0.595 → 1.0.597

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 (980) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +4 -4
  2. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -7
  4. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +11 -11
  5. package/SVF-doxygen/html/html/Andersen_8h_source.html +5 -5
  6. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +7 -7
  7. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  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.html +3 -2
  11. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +15 -13
  12. package/SVF-doxygen/html/html/CFLGraph_8h.html +4 -6
  13. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +19 -18
  14. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +4 -4
  15. package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +8 -8
  17. package/SVF-doxygen/html/html/CHG_8cpp.html +6 -5
  18. package/SVF-doxygen/html/html/CHG_8cpp_source.html +26 -24
  19. package/SVF-doxygen/html/html/CHG_8h.html +4 -6
  20. package/SVF-doxygen/html/html/CHG_8h_source.html +13 -12
  21. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  22. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
  23. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +7 -7
  24. package/SVF-doxygen/html/html/ConsG_8cpp.html +3 -2
  25. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +27 -26
  26. package/SVF-doxygen/html/html/ConsG_8h.html +4 -6
  27. package/SVF-doxygen/html/html/ConsG_8h_source.html +10 -9
  28. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
  29. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
  30. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +4 -4
  31. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +21 -19
  32. package/SVF-doxygen/html/html/DCHG_8h.html +4 -6
  33. package/SVF-doxygen/html/html/DCHG_8h_source.html +15 -14
  34. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  35. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  36. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +9 -9
  37. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +8 -8
  39. package/SVF-doxygen/html/html/DOTGraphTraits_8h.html +97 -0
  40. package/SVF-doxygen/html/html/DOTGraphTraits_8h_source.html +102 -0
  41. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +4 -4
  42. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -5
  44. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  45. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +12 -12
  46. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  48. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
  49. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  50. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +8 -8
  51. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +6 -6
  52. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  53. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +2 -2
  54. package/SVF-doxygen/html/html/GenericGraph_8h.html +15 -6
  55. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +128 -115
  56. package/SVF-doxygen/html/html/GraphPrinter_8h.html +5 -6
  57. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +8 -5
  58. package/SVF-doxygen/html/html/GraphReachSolver_8h_source.html +4 -3
  59. package/SVF-doxygen/html/html/GraphTraits_8h.html +118 -0
  60. package/SVF-doxygen/html/html/GraphTraits_8h_source.html +91 -0
  61. package/SVF-doxygen/html/html/GraphWriter_8cpp.html +81 -0
  62. package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +80 -0
  63. package/SVF-doxygen/html/html/GraphWriter_8h.html +138 -0
  64. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +129 -0
  65. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +7 -7
  66. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  67. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +7 -7
  68. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +7 -7
  69. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
  70. package/SVF-doxygen/html/html/ICFG_8cpp.html +3 -2
  71. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +27 -26
  72. package/SVF-doxygen/html/html/ICFG_8h.html +4 -6
  73. package/SVF-doxygen/html/html/ICFG_8h_source.html +14 -13
  74. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  75. package/SVF-doxygen/html/html/IRGraph_8cpp.html +3 -2
  76. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +20 -18
  77. package/SVF-doxygen/html/html/IRGraph_8h.html +4 -6
  78. package/SVF-doxygen/html/html/IRGraph_8h_source.html +9 -8
  79. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +7 -6
  80. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +4 -3
  81. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +57 -58
  82. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +36 -36
  83. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +16 -9
  84. package/SVF-doxygen/html/html/LLVMUtil_8h.html +6 -0
  85. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +6 -4
  86. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +6 -6
  87. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  88. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
  89. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +23 -23
  90. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +3 -3
  91. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +6 -6
  92. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +3 -3
  93. package/SVF-doxygen/html/html/MHP_8cpp_source.html +23 -23
  94. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  95. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +3 -3
  96. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  97. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +3 -3
  98. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +3 -3
  99. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +8 -8
  100. package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -3
  101. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  102. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  103. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +18 -18
  104. package/SVF-doxygen/html/html/MemRegion_8h_source.html +2 -2
  105. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +21 -21
  106. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  107. package/SVF-doxygen/html/html/PCG_8cpp_source.html +18 -18
  108. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  109. package/SVF-doxygen/html/html/PTACallGraph_8cpp.html +3 -2
  110. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +27 -25
  111. package/SVF-doxygen/html/html/PTACallGraph_8h.html +4 -6
  112. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +17 -16
  113. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +6 -6
  114. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
  115. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +3 -3
  116. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +18 -18
  117. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +3 -3
  118. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +7 -7
  119. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  120. package/SVF-doxygen/html/html/SCC_8h_source.html +4 -2
  121. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
  122. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +3 -3
  123. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +3 -3
  124. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +14 -14
  125. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +9 -9
  126. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -3
  127. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +7 -7
  128. package/SVF-doxygen/html/html/SVFG_8cpp.html +3 -2
  129. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +23 -23
  130. package/SVF-doxygen/html/html/SVFG_8h.html +1 -3
  131. package/SVF-doxygen/html/html/SVFG_8h_source.html +13 -13
  132. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +15 -14
  133. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +4 -4
  134. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +8 -8
  135. package/SVF-doxygen/html/html/SVFIR_8h_source.html +4 -4
  136. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  137. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  138. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +9 -9
  139. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +9 -9
  140. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +12 -12
  141. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +4 -4
  142. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +9 -9
  143. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +16 -19
  144. package/SVF-doxygen/html/html/SVFValue_8h.html +3 -3
  145. package/SVF-doxygen/html/html/SVFValue_8h_source.html +210 -213
  146. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +7 -7
  147. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +13 -14
  148. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +3 -3
  149. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +17 -17
  150. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +6 -6
  151. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +8 -8
  152. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  153. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +7 -7
  154. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  155. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +3 -3
  156. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +3 -3
  157. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +7 -10
  158. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +3 -4
  159. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +4 -4
  160. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  161. package/SVF-doxygen/html/html/TCT_8cpp.html +3 -2
  162. package/SVF-doxygen/html/html/TCT_8cpp_source.html +38 -37
  163. package/SVF-doxygen/html/html/TCT_8h.html +4 -6
  164. package/SVF-doxygen/html/html/TCT_8h_source.html +27 -26
  165. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +10 -10
  166. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +6 -6
  167. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  168. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +7 -7
  169. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +8 -8
  170. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +6 -6
  171. package/SVF-doxygen/html/html/VFGNode_8h_source.html +8 -8
  172. package/SVF-doxygen/html/html/VFG_8cpp.html +3 -2
  173. package/SVF-doxygen/html/html/VFG_8cpp_source.html +20 -19
  174. package/SVF-doxygen/html/html/VFG_8h.html +4 -6
  175. package/SVF-doxygen/html/html/VFG_8h_source.html +14 -13
  176. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  177. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +10 -10
  178. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +3 -2
  179. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +8 -8
  180. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  181. package/SVF-doxygen/html/html/WPASolver_8h_source.html +4 -2
  182. package/SVF-doxygen/html/html/annotated.html +291 -278
  183. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +4 -4
  185. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +4 -4
  186. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +3 -3
  187. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +3 -3
  188. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  189. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
  192. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +3 -3
  193. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +33 -33
  195. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +7 -7
  197. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +10 -10
  199. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +1 -1
  200. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +7 -7
  201. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +17 -17
  202. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +4 -4
  204. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  205. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +4 -4
  206. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -12
  207. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +3 -3
  209. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +4 -4
  210. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +11 -11
  212. package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +4 -4
  213. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +5 -4
  214. package/SVF-doxygen/html/html/classSVF_1_1CFLNode-members.html +45 -44
  215. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +29 -29
  216. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +4 -4
  217. package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +16 -16
  219. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +18 -17
  220. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +3 -3
  221. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
  223. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  224. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +7 -7
  225. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  226. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  228. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +56 -56
  229. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +3 -3
  231. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  232. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +31 -30
  233. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  234. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  235. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +12 -12
  236. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  237. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  240. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  241. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  243. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +2 -2
  244. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +35 -32
  245. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  246. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +16 -16
  247. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  248. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  249. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
  250. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  251. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker-members.html +2 -2
  252. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +16 -16
  253. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  254. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +6 -6
  256. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +3 -4
  257. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +1 -1
  258. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +4 -4
  259. package/SVF-doxygen/html/html/classSVF_1_1FileChecker-members.html +2 -2
  260. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +8 -8
  261. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
  262. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +1 -1
  263. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +21 -21
  264. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +17 -17
  265. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +29 -29
  266. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  267. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  268. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +3 -3
  269. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +3 -3
  270. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +6 -6
  271. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +8 -8
  272. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +31 -31
  273. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +44 -44
  274. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +78 -78
  275. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  276. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -4
  277. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  279. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +3 -4
  280. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  281. package/SVF-doxygen/html/html/classSVF_1_1GraphPrinter-members.html +83 -0
  282. package/SVF-doxygen/html/html/classSVF_1_1GraphPrinter.html +236 -0
  283. package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver-members.html +2 -2
  284. package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html +12 -12
  285. package/SVF-doxygen/html/html/classSVF_1_1GraphWriter-members.html +100 -0
  286. package/SVF-doxygen/html/html/classSVF_1_1GraphWriter.html +882 -0
  287. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +20 -19
  288. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +12 -12
  289. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +7 -7
  290. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  291. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
  292. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +12 -11
  293. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  294. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  295. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +3 -3
  296. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +2 -2
  297. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +3 -3
  298. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
  299. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  300. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +6 -6
  301. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  302. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +2 -2
  303. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  304. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +7 -6
  305. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +129 -129
  306. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker-members.html +2 -2
  307. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +22 -22
  308. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  309. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  310. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +3 -3
  311. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +50 -50
  312. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +7 -7
  313. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +55 -55
  314. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  315. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +22 -22
  316. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  317. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +4 -4
  318. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -3
  319. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +6 -6
  320. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +8 -8
  321. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +37 -37
  322. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +9 -9
  323. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  324. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +36 -36
  325. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +3 -3
  326. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -4
  327. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +3 -4
  328. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  329. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +28 -28
  330. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +3 -3
  331. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +26 -25
  332. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +3 -3
  333. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +7 -7
  334. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +9 -9
  335. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +2 -2
  336. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +40 -40
  337. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +7 -7
  338. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +4 -4
  339. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
  340. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +3 -3
  341. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
  342. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +5 -5
  343. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  344. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  345. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +2 -2
  346. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection-members.html +1 -1
  347. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection.html +8 -8
  348. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +7 -9
  349. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +16 -20
  350. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +8 -10
  351. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +56 -63
  352. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +6 -8
  353. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +7 -11
  354. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +12 -14
  355. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +34 -38
  356. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +6 -8
  357. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +5 -9
  358. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +6 -8
  359. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +7 -11
  360. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +6 -8
  361. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +10 -14
  362. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +6 -8
  363. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +14 -18
  364. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +6 -8
  365. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +7 -11
  366. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +23 -25
  367. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +115 -119
  368. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +16 -16
  369. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  370. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +43 -43
  371. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +9 -9
  372. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue-members.html +9 -11
  373. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +14 -18
  374. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +35 -35
  375. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +48 -47
  376. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +11 -13
  377. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +31 -35
  378. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  379. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +6 -8
  380. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +7 -11
  381. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +3 -3
  382. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +6 -8
  383. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +5 -9
  384. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +9 -9
  385. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +9 -9
  386. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +3 -3
  387. package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +25 -28
  388. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +38 -128
  389. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +12 -12
  390. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +14 -16
  391. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +29 -33
  392. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +46 -46
  393. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +13 -13
  394. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +2 -2
  395. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector-members.html +1 -1
  396. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +7 -7
  397. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html +4 -4
  398. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA-members.html +2 -2
  399. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +16 -16
  400. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html +2 -2
  401. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +12 -12
  402. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +1 -1
  403. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +9 -9
  404. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +5 -5
  405. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  406. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +2 -2
  407. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder-members.html +2 -3
  408. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +21 -54
  409. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +5 -5
  410. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +72 -72
  411. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  412. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  413. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  414. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +11 -11
  415. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +5 -5
  416. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  417. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +4 -4
  418. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +4 -4
  419. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  420. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +1 -1
  421. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +12 -12
  422. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +5 -5
  423. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +3 -3
  424. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +22 -21
  425. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +13 -13
  426. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  427. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +3 -4
  428. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +2 -2
  429. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +1 -1
  430. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +35 -35
  431. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +6 -6
  432. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +4 -4
  433. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver-members.html +1 -1
  434. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +4 -4
  435. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +7 -6
  436. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +9 -9
  437. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +4 -4
  438. package/SVF-doxygen/html/html/classSVF_1_1WPASolver-members.html +1 -1
  439. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +8 -8
  440. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base-members.html +112 -0
  441. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +633 -0
  442. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.png +0 -0
  443. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base-members.html +102 -0
  444. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base.html +787 -0
  445. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base.png +0 -0
  446. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy-members.html +84 -0
  447. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +229 -0
  448. package/SVF-doxygen/html/html/classSVF_1_1iter__range-members.html +87 -0
  449. package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +342 -0
  450. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter-members.html +112 -0
  451. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +322 -0
  452. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.png +0 -0
  453. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator-members.html +113 -0
  454. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +343 -0
  455. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.png +0 -0
  456. package/SVF-doxygen/html/html/classes.html +105 -102
  457. package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +9 -7
  458. package/SVF-doxygen/html/html/classllvm_1_1GraphWriter-members.html +100 -0
  459. package/SVF-doxygen/html/html/classllvm_1_1GraphWriter.html +882 -0
  460. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base-members.html +112 -0
  461. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base.html +633 -0
  462. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base.png +0 -0
  463. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base-members.html +102 -0
  464. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base.html +787 -0
  465. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base.png +0 -0
  466. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base_1_1ReferenceProxy-members.html +84 -0
  467. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html +229 -0
  468. package/SVF-doxygen/html/html/classllvm_1_1iterator__range-members.html +87 -0
  469. package/SVF-doxygen/html/html/classllvm_1_1iterator__range.html +342 -0
  470. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter-members.html +112 -0
  471. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter.html +322 -0
  472. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter.png +0 -0
  473. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator-members.html +113 -0
  474. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator.html +343 -0
  475. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator.png +0 -0
  476. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  477. package/SVF-doxygen/html/html/dir_1870ebf480d659cc38d2dd7ac3aa8993.html +2 -0
  478. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +4 -0
  479. package/SVF-doxygen/html/html/dir_fa02919a30fec2d2c2d591b4d920d648.html +6 -0
  480. package/SVF-doxygen/html/html/fastcluster__R__dm_8cpp_8inc_source.html +2 -1
  481. package/SVF-doxygen/html/html/files.html +42 -36
  482. package/SVF-doxygen/html/html/functions_a.html +11 -8
  483. package/SVF-doxygen/html/html/functions_b.html +19 -12
  484. package/SVF-doxygen/html/html/functions_c.html +43 -42
  485. package/SVF-doxygen/html/html/functions_d.html +27 -15
  486. package/SVF-doxygen/html/html/functions_e.html +19 -7
  487. package/SVF-doxygen/html/html/functions_eval_b.html +4 -4
  488. package/SVF-doxygen/html/html/functions_eval_i.html +6 -0
  489. package/SVF-doxygen/html/html/functions_f.html +21 -18
  490. package/SVF-doxygen/html/html/functions_func.html +13 -10
  491. package/SVF-doxygen/html/html/functions_func_b.html +2 -1
  492. package/SVF-doxygen/html/html/functions_func_c.html +4 -4
  493. package/SVF-doxygen/html/html/functions_func_d.html +18 -14
  494. package/SVF-doxygen/html/html/functions_func_e.html +13 -2
  495. package/SVF-doxygen/html/html/functions_func_g.html +107 -75
  496. package/SVF-doxygen/html/html/functions_func_h.html +4 -4
  497. package/SVF-doxygen/html/html/functions_func_i.html +22 -11
  498. package/SVF-doxygen/html/html/functions_func_m.html +3 -0
  499. package/SVF-doxygen/html/html/functions_func_n.html +5 -2
  500. package/SVF-doxygen/html/html/functions_func_o.html +42 -8
  501. package/SVF-doxygen/html/html/functions_func_p.html +8 -2
  502. package/SVF-doxygen/html/html/functions_func_r.html +7 -1
  503. package/SVF-doxygen/html/html/functions_func_s.html +15 -18
  504. package/SVF-doxygen/html/html/functions_func_w.html +22 -1
  505. package/SVF-doxygen/html/html/functions_g.html +119 -78
  506. package/SVF-doxygen/html/html/functions_h.html +3 -6
  507. package/SVF-doxygen/html/html/functions_i.html +43 -15
  508. package/SVF-doxygen/html/html/functions_m.html +4 -1
  509. package/SVF-doxygen/html/html/functions_n.html +31 -25
  510. package/SVF-doxygen/html/html/functions_o.html +51 -22
  511. package/SVF-doxygen/html/html/functions_p.html +29 -19
  512. package/SVF-doxygen/html/html/functions_r.html +10 -5
  513. package/SVF-doxygen/html/html/functions_rela.html +6 -3
  514. package/SVF-doxygen/html/html/functions_s.html +22 -27
  515. package/SVF-doxygen/html/html/functions_t.html +6 -6
  516. package/SVF-doxygen/html/html/functions_type_b.html +3 -0
  517. package/SVF-doxygen/html/html/functions_type_c.html +6 -5
  518. package/SVF-doxygen/html/html/functions_type_d.html +5 -0
  519. package/SVF-doxygen/html/html/functions_type_e.html +4 -4
  520. package/SVF-doxygen/html/html/functions_type_g.html +6 -5
  521. package/SVF-doxygen/html/html/functions_type_i.html +3 -2
  522. package/SVF-doxygen/html/html/functions_type_n.html +26 -23
  523. package/SVF-doxygen/html/html/functions_type_p.html +2 -1
  524. package/SVF-doxygen/html/html/functions_type_r.html +1 -0
  525. package/SVF-doxygen/html/html/functions_type_v.html +1 -0
  526. package/SVF-doxygen/html/html/functions_v.html +8 -7
  527. package/SVF-doxygen/html/html/functions_vars_b.html +3 -0
  528. package/SVF-doxygen/html/html/functions_vars_d.html +3 -0
  529. package/SVF-doxygen/html/html/functions_vars_e.html +3 -0
  530. package/SVF-doxygen/html/html/functions_vars_f.html +3 -0
  531. package/SVF-doxygen/html/html/functions_vars_g.html +9 -1
  532. package/SVF-doxygen/html/html/functions_vars_h.html +0 -3
  533. package/SVF-doxygen/html/html/functions_vars_i.html +10 -0
  534. package/SVF-doxygen/html/html/functions_vars_o.html +3 -0
  535. package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
  536. package/SVF-doxygen/html/html/functions_w.html +22 -1
  537. package/SVF-doxygen/html/html/hierarchy.html +444 -397
  538. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +4 -4
  539. package/SVF-doxygen/html/html/iterator_8h.html +124 -0
  540. package/SVF-doxygen/html/html/iterator_8h_source.html +134 -0
  541. package/SVF-doxygen/html/html/iterator__range_8h.html +110 -0
  542. package/SVF-doxygen/html/html/iterator__range_8h_source.html +90 -0
  543. package/SVF-doxygen/html/html/menudata.js +17 -16
  544. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  545. package/SVF-doxygen/html/html/namespaceSVF.html +575 -9
  546. package/SVF-doxygen/html/html/namespaceSVF_1_1DOT.html +107 -0
  547. package/SVF-doxygen/html/html/namespaceSVF_1_1GraphProgram.html +122 -0
  548. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +65 -7
  549. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +3 -3
  550. package/SVF-doxygen/html/html/namespacellvm.html +1 -95
  551. package/SVF-doxygen/html/html/namespacellvm_1_1DOT.html +107 -0
  552. package/SVF-doxygen/html/html/namespacellvm_1_1GraphProgram.html +122 -0
  553. package/SVF-doxygen/html/html/namespacemembers_c.html +9 -0
  554. package/SVF-doxygen/html/html/namespacemembers_d.html +5 -2
  555. package/SVF-doxygen/html/html/namespacemembers_e.html +3 -0
  556. package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
  557. package/SVF-doxygen/html/html/namespacemembers_eval.html +15 -0
  558. package/SVF-doxygen/html/html/namespacemembers_f.html +3 -0
  559. package/SVF-doxygen/html/html/namespacemembers_func.html +0 -495
  560. package/SVF-doxygen/html/html/namespacemembers_func_b.html +88 -0
  561. package/SVF-doxygen/html/html/namespacemembers_func_c.html +97 -0
  562. package/SVF-doxygen/html/html/namespacemembers_func_d.html +97 -0
  563. package/SVF-doxygen/html/html/namespacemembers_func_e.html +82 -0
  564. package/SVF-doxygen/html/html/namespacemembers_func_f.html +76 -0
  565. package/SVF-doxygen/html/html/namespacemembers_func_g.html +186 -0
  566. package/SVF-doxygen/html/html/namespacemembers_func_h.html +76 -0
  567. package/SVF-doxygen/html/html/namespacemembers_func_i.html +253 -0
  568. package/SVF-doxygen/html/html/namespacemembers_func_m.html +91 -0
  569. package/SVF-doxygen/html/html/namespacemembers_func_n.html +76 -0
  570. package/SVF-doxygen/html/html/namespacemembers_func_o.html +94 -0
  571. package/SVF-doxygen/html/html/namespacemembers_func_p.html +82 -0
  572. package/SVF-doxygen/html/html/namespacemembers_func_r.html +79 -0
  573. package/SVF-doxygen/html/html/namespacemembers_func_s.html +91 -0
  574. package/SVF-doxygen/html/html/namespacemembers_func_t.html +76 -0
  575. package/SVF-doxygen/html/html/namespacemembers_func_v.html +85 -0
  576. package/SVF-doxygen/html/html/namespacemembers_func_w.html +82 -0
  577. package/SVF-doxygen/html/html/namespacemembers_g.html +1 -1
  578. package/SVF-doxygen/html/html/namespacemembers_i.html +12 -3
  579. package/SVF-doxygen/html/html/namespacemembers_m.html +12 -0
  580. package/SVF-doxygen/html/html/namespacemembers_n.html +9 -0
  581. package/SVF-doxygen/html/html/namespacemembers_r.html +4 -1
  582. package/SVF-doxygen/html/html/namespacemembers_t.html +3 -0
  583. package/SVF-doxygen/html/html/namespacemembers_type_g.html +1 -1
  584. package/SVF-doxygen/html/html/namespacemembers_type_r.html +3 -0
  585. package/SVF-doxygen/html/html/namespacemembers_v.html +3 -0
  586. package/SVF-doxygen/html/html/namespacemembers_w.html +3 -0
  587. package/SVF-doxygen/html/html/namespaces.html +4 -2
  588. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  589. package/SVF-doxygen/html/html/search/all_1.js +1 -0
  590. package/SVF-doxygen/html/html/search/all_10.js +13 -10
  591. package/SVF-doxygen/html/html/search/all_11.js +6 -3
  592. package/SVF-doxygen/html/html/search/all_12.js +7 -6
  593. package/SVF-doxygen/html/html/search/all_13.js +5 -4
  594. package/SVF-doxygen/html/html/search/all_15.js +6 -5
  595. package/SVF-doxygen/html/html/search/all_16.js +8 -1
  596. package/SVF-doxygen/html/html/search/all_2.js +6 -4
  597. package/SVF-doxygen/html/html/search/all_3.js +10 -7
  598. package/SVF-doxygen/html/html/search/all_4.js +21 -14
  599. package/SVF-doxygen/html/html/search/all_5.js +9 -4
  600. package/SVF-doxygen/html/html/search/all_6.js +3 -1
  601. package/SVF-doxygen/html/html/search/all_7.js +90 -46
  602. package/SVF-doxygen/html/html/search/all_8.js +1 -2
  603. package/SVF-doxygen/html/html/search/all_9.js +23 -5
  604. package/SVF-doxygen/html/html/search/all_d.js +6 -1
  605. package/SVF-doxygen/html/html/search/all_e.js +11 -8
  606. package/SVF-doxygen/html/html/search/all_f.js +19 -15
  607. package/SVF-doxygen/html/html/search/classes_3.js +13 -9
  608. package/SVF-doxygen/html/html/search/classes_6.js +64 -32
  609. package/SVF-doxygen/html/html/search/classes_8.js +11 -1
  610. package/SVF-doxygen/html/html/search/classes_a.js +1 -0
  611. package/SVF-doxygen/html/html/search/classes_d.js +2 -0
  612. package/SVF-doxygen/html/html/search/classes_e.js +1 -0
  613. package/SVF-doxygen/html/html/search/enums_8.js +1 -6
  614. package/SVF-doxygen/html/html/search/enums_9.js +6 -1
  615. package/SVF-doxygen/html/html/search/enums_a.js +1 -4
  616. package/SVF-doxygen/html/html/search/enums_b.js +4 -2
  617. package/SVF-doxygen/html/html/search/enums_c.js +2 -4
  618. package/SVF-doxygen/html/html/search/enums_d.js +4 -1
  619. package/SVF-doxygen/html/html/search/enums_e.html +26 -0
  620. package/SVF-doxygen/html/html/search/enums_e.js +4 -0
  621. package/SVF-doxygen/html/html/search/enumvalues_1.js +3 -3
  622. package/SVF-doxygen/html/html/search/enumvalues_10.js +1 -0
  623. package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -0
  624. package/SVF-doxygen/html/html/search/enumvalues_3.js +1 -0
  625. package/SVF-doxygen/html/html/search/enumvalues_5.js +1 -0
  626. package/SVF-doxygen/html/html/search/enumvalues_8.js +3 -1
  627. package/SVF-doxygen/html/html/search/enumvalues_b.js +1 -0
  628. package/SVF-doxygen/html/html/search/files_3.js +1 -0
  629. package/SVF-doxygen/html/html/search/files_6.js +4 -1
  630. package/SVF-doxygen/html/html/search/files_7.js +3 -1
  631. package/SVF-doxygen/html/html/search/functions_0.js +1 -0
  632. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  633. package/SVF-doxygen/html/html/search/functions_10.js +2 -0
  634. package/SVF-doxygen/html/html/search/functions_11.js +1 -2
  635. package/SVF-doxygen/html/html/search/functions_14.js +1 -0
  636. package/SVF-doxygen/html/html/search/functions_15.js +8 -1
  637. package/SVF-doxygen/html/html/search/functions_2.js +4 -2
  638. package/SVF-doxygen/html/html/search/functions_3.js +5 -4
  639. package/SVF-doxygen/html/html/search/functions_4.js +7 -3
  640. package/SVF-doxygen/html/html/search/functions_6.js +21 -12
  641. package/SVF-doxygen/html/html/search/functions_7.js +1 -1
  642. package/SVF-doxygen/html/html/search/functions_8.js +10 -4
  643. package/SVF-doxygen/html/html/search/functions_c.js +5 -0
  644. package/SVF-doxygen/html/html/search/functions_d.js +4 -2
  645. package/SVF-doxygen/html/html/search/functions_e.js +14 -8
  646. package/SVF-doxygen/html/html/search/functions_f.js +3 -1
  647. package/SVF-doxygen/html/html/search/namespaces_1.js +2 -0
  648. package/SVF-doxygen/html/html/search/related_9.js +3 -3
  649. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  650. package/SVF-doxygen/html/html/search/typedefs_1.js +1 -0
  651. package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
  652. package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
  653. package/SVF-doxygen/html/html/search/typedefs_3.js +2 -1
  654. package/SVF-doxygen/html/html/search/typedefs_4.js +1 -1
  655. package/SVF-doxygen/html/html/search/typedefs_6.js +3 -3
  656. package/SVF-doxygen/html/html/search/typedefs_7.js +2 -2
  657. package/SVF-doxygen/html/html/search/typedefs_c.js +4 -4
  658. package/SVF-doxygen/html/html/search/typedefs_e.js +2 -2
  659. package/SVF-doxygen/html/html/search/typedefs_f.js +2 -1
  660. package/SVF-doxygen/html/html/search/variables_10.js +1 -0
  661. package/SVF-doxygen/html/html/search/variables_13.js +3 -3
  662. package/SVF-doxygen/html/html/search/variables_2.js +1 -0
  663. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  664. package/SVF-doxygen/html/html/search/variables_4.js +1 -0
  665. package/SVF-doxygen/html/html/search/variables_5.js +1 -0
  666. package/SVF-doxygen/html/html/search/variables_6.js +1 -0
  667. package/SVF-doxygen/html/html/search/variables_7.js +2 -1
  668. package/SVF-doxygen/html/html/search/variables_8.js +0 -1
  669. package/SVF-doxygen/html/html/search/variables_9.js +3 -0
  670. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  671. package/SVF-doxygen/html/html/search/variables_f.js +1 -0
  672. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits-members.html +99 -0
  673. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.html +193 -0
  674. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.png +0 -0
  675. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html +105 -0
  676. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +443 -0
  677. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.png +0 -0
  678. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4-members.html +104 -0
  679. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +388 -0
  680. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.png +0 -0
  681. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +106 -0
  682. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +481 -0
  683. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png +0 -0
  684. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4-members.html +106 -0
  685. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +475 -0
  686. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png +0 -0
  687. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +107 -0
  688. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +486 -0
  689. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.png +0 -0
  690. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4-members.html +106 -0
  691. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +457 -0
  692. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png +0 -0
  693. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +108 -0
  694. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +595 -0
  695. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png +0 -0
  696. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4-members.html +105 -0
  697. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +409 -0
  698. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.png +0 -0
  699. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4-members.html +107 -0
  700. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +543 -0
  701. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png +0 -0
  702. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits-members.html +99 -0
  703. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.html +855 -0
  704. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.png +0 -0
  705. package/SVF-doxygen/html/html/structSVF_1_1GenericEdge_1_1equalGEdge.html +3 -3
  706. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits-members.html +81 -0
  707. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits.html +116 -0
  708. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4-members.html +81 -0
  709. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html +106 -0
  710. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.png +0 -0
  711. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4-members.html +81 -0
  712. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +110 -0
  713. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.png +0 -0
  714. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html +81 -0
  715. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +110 -0
  716. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png +0 -0
  717. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html +81 -0
  718. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +110 -0
  719. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png +0 -0
  720. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html +81 -0
  721. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +110 -0
  722. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png +0 -0
  723. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4-members.html +88 -0
  724. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html +324 -0
  725. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4-members.html +81 -0
  726. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +110 -0
  727. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.png +0 -0
  728. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4-members.html +81 -0
  729. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html +110 -0
  730. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.png +0 -0
  731. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4-members.html +81 -0
  732. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +110 -0
  733. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.png +0 -0
  734. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4-members.html +81 -0
  735. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +110 -0
  736. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.png +0 -0
  737. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html +81 -0
  738. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +110 -0
  739. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png +0 -0
  740. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4-members.html +81 -0
  741. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +126 -0
  742. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png +0 -0
  743. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html +81 -0
  744. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +106 -0
  745. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png +0 -0
  746. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4-members.html +81 -0
  747. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +126 -0
  748. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png +0 -0
  749. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html +81 -0
  750. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +106 -0
  751. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png +0 -0
  752. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4-members.html +81 -0
  753. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +126 -0
  754. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png +0 -0
  755. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html +81 -0
  756. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +106 -0
  757. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png +0 -0
  758. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4-members.html +81 -0
  759. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +126 -0
  760. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png +0 -0
  761. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4-members.html +81 -0
  762. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +106 -0
  763. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.png +0 -0
  764. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4-members.html +99 -0
  765. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +467 -0
  766. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.png +0 -0
  767. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4-members.html +89 -0
  768. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +367 -0
  769. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.png +0 -0
  770. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4-members.html +81 -0
  771. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +106 -0
  772. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.png +0 -0
  773. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4-members.html +81 -0
  774. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +126 -0
  775. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.png +0 -0
  776. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4-members.html +81 -0
  777. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +126 -0
  778. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.png +0 -0
  779. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4-members.html +81 -0
  780. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html +106 -0
  781. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.png +0 -0
  782. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4-members.html +81 -0
  783. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html +126 -0
  784. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.png +0 -0
  785. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4-members.html +81 -0
  786. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +126 -0
  787. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.png +0 -0
  788. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4-members.html +81 -0
  789. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +106 -0
  790. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.png +0 -0
  791. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4-members.html +81 -0
  792. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +106 -0
  793. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.png +0 -0
  794. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4-members.html +81 -0
  795. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +126 -0
  796. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.png +0 -0
  797. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4-members.html +81 -0
  798. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +106 -0
  799. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.png +0 -0
  800. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4-members.html +81 -0
  801. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +126 -0
  802. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.png +0 -0
  803. package/SVF-doxygen/html/html/structSVF_1_1Inverse-members.html +82 -0
  804. package/SVF-doxygen/html/html/structSVF_1_1Inverse.html +154 -0
  805. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement-members.html +3 -3
  806. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement.html +46 -46
  807. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter-members.html +111 -0
  808. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.html +279 -0
  809. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.png +0 -0
  810. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits-members.html +99 -0
  811. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits.html +193 -0
  812. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits.png +0 -0
  813. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html +22 -4
  814. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +67 -10
  815. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.png +0 -0
  816. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4-members.html +21 -3
  817. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +65 -8
  818. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.png +0 -0
  819. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +22 -4
  820. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +72 -12
  821. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png +0 -0
  822. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4-members.html +23 -5
  823. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +70 -10
  824. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png +0 -0
  825. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +23 -5
  826. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +68 -11
  827. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.png +0 -0
  828. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4-members.html +23 -5
  829. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +68 -11
  830. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png +0 -0
  831. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +24 -6
  832. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +76 -15
  833. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png +0 -0
  834. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4-members.html +22 -4
  835. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +67 -10
  836. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.png +0 -0
  837. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4-members.html +24 -6
  838. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +73 -12
  839. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png +0 -0
  840. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits-members.html +99 -0
  841. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits.html +855 -0
  842. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits.png +0 -0
  843. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits-members.html +81 -0
  844. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits.html +116 -0
  845. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4-members.html +81 -0
  846. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html +106 -0
  847. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.png +0 -0
  848. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4-members.html +81 -0
  849. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +12 -2
  850. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.png +0 -0
  851. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html +81 -0
  852. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +12 -2
  853. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png +0 -0
  854. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html +81 -0
  855. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +12 -2
  856. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png +0 -0
  857. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html +81 -0
  858. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +12 -2
  859. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png +0 -0
  860. 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
  861. 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
  862. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4-members.html +81 -0
  863. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +12 -2
  864. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.png +0 -0
  865. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4-members.html +81 -0
  866. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html +12 -2
  867. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.png +0 -0
  868. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4-members.html +81 -0
  869. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +12 -2
  870. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.png +0 -0
  871. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4-members.html +81 -0
  872. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +12 -2
  873. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.png +0 -0
  874. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html +81 -0
  875. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +12 -2
  876. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png +0 -0
  877. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +5 -1
  878. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png +0 -0
  879. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html +81 -0
  880. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +10 -0
  881. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png +0 -0
  882. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +5 -1
  883. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png +0 -0
  884. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html +81 -0
  885. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +10 -0
  886. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png +0 -0
  887. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +5 -1
  888. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png +0 -0
  889. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html +81 -0
  890. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +10 -0
  891. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png +0 -0
  892. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +5 -1
  893. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png +0 -0
  894. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4-members.html +81 -0
  895. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +10 -0
  896. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.png +0 -0
  897. 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
  898. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +46 -44
  899. 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
  900. 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
  901. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4-members.html +81 -0
  902. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +10 -0
  903. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.png +0 -0
  904. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +5 -1
  905. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.png +0 -0
  906. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +5 -1
  907. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.png +0 -0
  908. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4-members.html +81 -0
  909. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html +10 -0
  910. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.png +0 -0
  911. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html +5 -1
  912. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.png +0 -0
  913. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +5 -1
  914. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.png +0 -0
  915. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4-members.html +81 -0
  916. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +10 -0
  917. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.png +0 -0
  918. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4-members.html +81 -0
  919. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +10 -0
  920. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.png +0 -0
  921. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +5 -1
  922. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.png +0 -0
  923. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4-members.html +81 -0
  924. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +10 -0
  925. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.png +0 -0
  926. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +5 -1
  927. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.png +0 -0
  928. package/SVF-doxygen/html/html/structllvm_1_1Inverse-members.html +82 -0
  929. package/SVF-doxygen/html/html/structllvm_1_1Inverse.html +154 -0
  930. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator-members.html +111 -0
  931. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.html +279 -0
  932. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.png +0 -0
  933. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  934. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  935. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  936. package/SVF-doxygen/html/html/svf-ex_8cpp.html +9 -9
  937. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +7 -7
  938. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +4 -4
  939. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  940. package/include/Graphs/CFLGraph.h +6 -6
  941. package/include/Graphs/CHG.h +6 -6
  942. package/include/Graphs/ConsG.h +6 -6
  943. package/include/Graphs/DOTGraphTraits.h +188 -0
  944. package/include/Graphs/GenericGraph.h +58 -18
  945. package/include/Graphs/GraphPrinter.h +14 -22
  946. package/include/Graphs/GraphTraits.h +150 -0
  947. package/include/Graphs/GraphWriter.h +380 -0
  948. package/include/Graphs/ICFG.h +6 -6
  949. package/include/Graphs/IRGraph.h +6 -7
  950. package/include/Graphs/PTACallGraph.h +6 -6
  951. package/include/Graphs/SVFG.h +6 -6
  952. package/include/Graphs/VFG.h +6 -6
  953. package/include/MTA/TCT.h +6 -6
  954. package/include/SABER/SrcSnkSolver.h +2 -2
  955. package/include/SVF-LLVM/DCHG.h +6 -6
  956. package/include/SVF-LLVM/LLVMUtil.h +5 -0
  957. package/include/SVF-LLVM/SymbolTableBuilder.h +0 -3
  958. package/include/SVFIR/SVFValue.h +2 -11
  959. package/include/SVFIR/SVFVariables.h +5 -5
  960. package/include/Util/GraphReachSolver.h +2 -2
  961. package/include/Util/SCC.h +1 -1
  962. package/include/Util/iterator.h +407 -0
  963. package/include/Util/iterator_range.h +76 -0
  964. package/include/WPA/WPASolver.h +1 -1
  965. package/lib/Graphs/CFLGraph.cpp +2 -2
  966. package/lib/Graphs/CHG.cpp +2 -2
  967. package/lib/Graphs/ConsG.cpp +2 -2
  968. package/lib/Graphs/GraphWriter.cpp +53 -0
  969. package/lib/Graphs/ICFG.cpp +2 -2
  970. package/lib/Graphs/IRGraph.cpp +2 -2
  971. package/lib/Graphs/PTACallGraph.cpp +2 -2
  972. package/lib/Graphs/SVFG.cpp +1 -1
  973. package/lib/Graphs/VFG.cpp +2 -2
  974. package/lib/MTA/TCT.cpp +1 -1
  975. package/lib/SVF-LLVM/LLVMModule.cpp +1 -2
  976. package/lib/SVF-LLVM/LLVMUtil.cpp +40 -0
  977. package/lib/SVF-LLVM/SVFIRBuilder.cpp +1 -1
  978. package/lib/SVF-LLVM/SymbolTableBuilder.cpp +0 -34
  979. package/lib/SVFIR/SVFValue.cpp +0 -1
  980. 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 GRAPHS_DOTGRAPHTRAITS_H
17
+ #define GRAPHS_DOTGRAPHTRAITS_H
18
+
19
+ #include <string>
20
+
21
+ namespace SVF
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,8 @@
31
31
  #define GENERICGRAPH_H_
32
32
 
33
33
  #include "SVFIR/SVFValue.h"
34
+ #include "Util/iterator.h"
35
+ #include "Graphs/GraphTraits.h"
34
36
 
35
37
  namespace SVF
36
38
  {
@@ -446,16 +448,54 @@ public:
446
448
  } // End namespace SVF
447
449
 
448
450
  /* !
449
- * GraphTraits specializations for generic graph algorithms.
451
+ * GenericGraphTraits specializations for generic graph algorithms.
450
452
  * Provide graph traits for tranversing from a node using standard graph traversals.
451
453
  */
452
- namespace llvm
454
+ namespace SVF
455
+ {
456
+
457
+ // mapped_iter - This is a simple iterator adapter that causes a function to
458
+ // be applied whenever operator* is invoked on the iterator.
459
+
460
+ template <typename ItTy, typename FuncTy,
461
+ typename FuncReturnTy =
462
+ decltype(std::declval<FuncTy>()(*std::declval<ItTy>()))>
463
+ class mapped_iter
464
+ : public iter_adaptor_base<
465
+ mapped_iter<ItTy, FuncTy>, ItTy,
466
+ typename std::iterator_traits<ItTy>::iterator_category,
467
+ typename std::remove_reference<FuncReturnTy>::type>
468
+ {
469
+ public:
470
+ mapped_iter(ItTy U, FuncTy F)
471
+ : mapped_iter::iter_adaptor_base(std::move(U)), F(std::move(F)) {}
472
+
473
+ ItTy getCurrent()
474
+ {
475
+ return this->I;
476
+ }
477
+
478
+ FuncReturnTy operator*() const
479
+ {
480
+ return F(*this->I);
481
+ }
482
+
483
+ private:
484
+ FuncTy F;
485
+ };
486
+
487
+ // map_iter - Provide a convenient way to create mapped_iters, just like
488
+ // make_pair is useful for creating pairs...
489
+ template <class ItTy, class FuncTy>
490
+ inline mapped_iter<ItTy, FuncTy> map_iter(ItTy I, FuncTy F)
453
491
  {
492
+ return mapped_iter<ItTy, FuncTy>(std::move(I), std::move(F));
493
+ }
454
494
 
455
495
  /*!
456
- * GraphTraits for nodes
496
+ * GenericGraphTraits for nodes
457
497
  */
458
- template<class NodeTy,class EdgeTy> struct GraphTraits<SVF::GenericNode<NodeTy,EdgeTy>* >
498
+ template<class NodeTy,class EdgeTy> struct GenericGraphTraits<SVF::GenericNode<NodeTy,EdgeTy>* >
459
499
  {
460
500
  typedef NodeTy NodeType;
461
501
  typedef EdgeTy EdgeType;
@@ -466,7 +506,7 @@ template<class NodeTy,class EdgeTy> struct GraphTraits<SVF::GenericNode<NodeTy,E
466
506
  }
467
507
 
468
508
  // 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;
509
+ typedef mapped_iter<typename SVF::GenericNode<NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
470
510
 
471
511
  static NodeType* getEntryNode(NodeType* pagN)
472
512
  {
@@ -475,27 +515,27 @@ template<class NodeTy,class EdgeTy> struct GraphTraits<SVF::GenericNode<NodeTy,E
475
515
 
476
516
  static inline ChildIteratorType child_begin(const NodeType* N)
477
517
  {
478
- return map_iterator(N->OutEdgeBegin(), &edge_dest);
518
+ return map_iter(N->OutEdgeBegin(), &edge_dest);
479
519
  }
480
520
  static inline ChildIteratorType child_end(const NodeType* N)
481
521
  {
482
- return map_iterator(N->OutEdgeEnd(), &edge_dest);
522
+ return map_iter(N->OutEdgeEnd(), &edge_dest);
483
523
  }
484
524
  static inline ChildIteratorType direct_child_begin(const NodeType *N)
485
525
  {
486
- return map_iterator(N->directOutEdgeBegin(), &edge_dest);
526
+ return map_iter(N->directOutEdgeBegin(), &edge_dest);
487
527
  }
488
528
  static inline ChildIteratorType direct_child_end(const NodeType *N)
489
529
  {
490
- return map_iterator(N->directOutEdgeEnd(), &edge_dest);
530
+ return map_iter(N->directOutEdgeEnd(), &edge_dest);
491
531
  }
492
532
  };
493
533
 
494
534
  /*!
495
- * Inverse GraphTraits for node which is used for inverse traversal.
535
+ * Inverse GenericGraphTraits for node which is used for inverse traversal.
496
536
  */
497
537
  template<class NodeTy,class EdgeTy>
498
- struct GraphTraits<Inverse<SVF::GenericNode<NodeTy,EdgeTy>* > >
538
+ struct GenericGraphTraits<Inverse<SVF::GenericNode<NodeTy,EdgeTy>* > >
499
539
  {
500
540
  typedef NodeTy NodeType;
501
541
  typedef EdgeTy EdgeType;
@@ -506,7 +546,7 @@ struct GraphTraits<Inverse<SVF::GenericNode<NodeTy,EdgeTy>* > >
506
546
  }
507
547
 
508
548
  // 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;
549
+ typedef mapped_iter<typename SVF::GenericNode<NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
510
550
 
511
551
  static inline NodeType* getEntryNode(Inverse<NodeType* > G)
512
552
  {
@@ -515,11 +555,11 @@ struct GraphTraits<Inverse<SVF::GenericNode<NodeTy,EdgeTy>* > >
515
555
 
516
556
  static inline ChildIteratorType child_begin(const NodeType* N)
517
557
  {
518
- return map_iterator(N->InEdgeBegin(), &edge_dest);
558
+ return map_iter(N->InEdgeBegin(), &edge_dest);
519
559
  }
520
560
  static inline ChildIteratorType child_end(const NodeType* N)
521
561
  {
522
- return map_iterator(N->InEdgeEnd(), &edge_dest);
562
+ return map_iter(N->InEdgeEnd(), &edge_dest);
523
563
  }
524
564
 
525
565
  static inline unsigned getNodeID(const NodeType* N)
@@ -531,7 +571,7 @@ struct GraphTraits<Inverse<SVF::GenericNode<NodeTy,EdgeTy>* > >
531
571
  /*!
532
572
  * GraphTraints
533
573
  */
534
- template<class NodeTy,class EdgeTy> struct GraphTraits<SVF::GenericGraph<NodeTy,EdgeTy>* > : public GraphTraits<SVF::GenericNode<NodeTy,EdgeTy>* >
574
+ template<class NodeTy,class EdgeTy> struct GenericGraphTraits<SVF::GenericGraph<NodeTy,EdgeTy>* > : public GenericGraphTraits<SVF::GenericNode<NodeTy,EdgeTy>* >
535
575
  {
536
576
  typedef SVF::GenericGraph<NodeTy,EdgeTy> GenericGraphTy;
537
577
  typedef NodeTy NodeType;
@@ -549,15 +589,15 @@ template<class NodeTy,class EdgeTy> struct GraphTraits<SVF::GenericGraph<NodeTy,
549
589
  }
550
590
 
551
591
  // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
552
- typedef mapped_iterator<typename GenericGraphTy::iterator, decltype(&deref_val)> nodes_iterator;
592
+ typedef mapped_iter<typename GenericGraphTy::iterator, decltype(&deref_val)> nodes_iterator;
553
593
 
554
594
  static nodes_iterator nodes_begin(GenericGraphTy *G)
555
595
  {
556
- return map_iterator(G->begin(), &deref_val);
596
+ return map_iter(G->begin(), &deref_val);
557
597
  }
558
598
  static nodes_iterator nodes_end(GenericGraphTy *G)
559
599
  {
560
- return map_iterator(G->end(), &deref_val);
600
+ return map_iter(G->end(), &deref_val);
561
601
  }
562
602
 
563
603
  static unsigned graphSize(GenericGraphTy* G)
@@ -32,12 +32,10 @@
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
- namespace llvm
38
+ namespace SVF
41
39
  {
42
40
 
43
41
  /*
@@ -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
  /*!
@@ -88,7 +80,7 @@ public:
88
80
  const GraphType &GT)
89
81
  {
90
82
  ///Define the GTraits and node iterator for printing
91
- typedef llvm::GraphTraits<GraphType> GTraits;
83
+ typedef GenericGraphTraits<GraphType> GTraits;
92
84
 
93
85
  typedef typename GTraits::NodeRef NodeRef;
94
86
  typedef typename GTraits::nodes_iterator node_iterator;
@@ -0,0 +1,150 @@
1
+ //===- llvm/ADT/GenericGraphTraits.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 GenericGraphTraits<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 GRAPHS_GRAPHTRAITS_H
18
+ #define GRAPHS_GRAPHTRAITS_H
19
+
20
+ #include "Util/iterator_range.h"
21
+
22
+ namespace SVF
23
+ {
24
+
25
+ // GenericGraphTraits - 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
+ // GenericGraphTraits 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 GenericGraphTraits
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 GenericGraphTraits<> 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 GenericGraphTraits so that the inverse of an
105
+ // inverse falls back to the original graph.
106
+ template <class T> struct GenericGraphTraits<Inverse<Inverse<T>>> : GenericGraphTraits<T> {};
107
+
108
+ // Provide iterator ranges for the graph traits nodes and children
109
+ template <class GraphType>
110
+ iter_range<typename GenericGraphTraits<GraphType>::nodes_iterator>
111
+ nodes(const GraphType &G)
112
+ {
113
+ return make_range(GenericGraphTraits<GraphType>::nodes_begin(G),
114
+ GenericGraphTraits<GraphType>::nodes_end(G));
115
+ }
116
+ template <class GraphType>
117
+ iter_range<typename GenericGraphTraits<Inverse<GraphType>>::nodes_iterator>
118
+ inverse_nodes(const GraphType &G)
119
+ {
120
+ return make_range(GenericGraphTraits<Inverse<GraphType>>::nodes_begin(G),
121
+ GenericGraphTraits<Inverse<GraphType>>::nodes_end(G));
122
+ }
123
+
124
+ template <class GraphType>
125
+ iter_range<typename GenericGraphTraits<GraphType>::ChildIteratorType>
126
+ children(const typename GenericGraphTraits<GraphType>::NodeRef &G)
127
+ {
128
+ return make_range(GenericGraphTraits<GraphType>::child_begin(G),
129
+ GenericGraphTraits<GraphType>::child_end(G));
130
+ }
131
+
132
+ template <class GraphType>
133
+ iter_range<typename GenericGraphTraits<Inverse<GraphType>>::ChildIteratorType>
134
+ inverse_children(const typename GenericGraphTraits<GraphType>::NodeRef &G)
135
+ {
136
+ return make_range(GenericGraphTraits<Inverse<GraphType>>::child_begin(G),
137
+ GenericGraphTraits<Inverse<GraphType>>::child_end(G));
138
+ }
139
+
140
+ template <class GraphType>
141
+ iter_range<typename GenericGraphTraits<GraphType>::ChildEdgeIteratorType>
142
+ children_edges(const typename GenericGraphTraits<GraphType>::NodeRef &G)
143
+ {
144
+ return make_range(GenericGraphTraits<GraphType>::child_edge_begin(G),
145
+ GenericGraphTraits<GraphType>::child_edge_end(G));
146
+ }
147
+
148
+ } // end namespace llvm
149
+
150
+ #endif // LLVM_ADT_GRAPHTRAITS_H