svf-lib 1.0.2319 → 1.0.2321

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 (320) hide show
  1. package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/WorkList.h +0 -0
  2. package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/Modules/FindZ3.cmake +93 -0
  3. package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFConfig.cmake +106 -0
  4. package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFConfigVersion.cmake +43 -0
  5. package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFTargets-release.cmake +101 -0
  6. package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFTargets.cmake +180 -0
  7. package/SVF-linux-aarch64/Release-build/lib/libSvfCore.so.3.1 +0 -0
  8. package/SVF-linux-aarch64/Release-build/lib/libSvfLLVM.so.3.1 +0 -0
  9. package/SVF-linux-aarch64/Release-build/lib/pkgconfig/SVF.pc +12 -0
  10. package/SVF-osx/Release-build/bin/ae +0 -0
  11. package/SVF-osx/Release-build/bin/cfl +0 -0
  12. package/SVF-osx/Release-build/bin/dvf +0 -0
  13. package/SVF-osx/Release-build/bin/llvm2svf +0 -0
  14. package/SVF-osx/Release-build/bin/mta +0 -0
  15. package/SVF-osx/Release-build/bin/saber +0 -0
  16. package/SVF-osx/Release-build/bin/svf-ex +0 -0
  17. package/SVF-osx/Release-build/bin/wpa +0 -0
  18. package/SVF-osx/Release-build/include/SVF/AE/Core/AbstractState.h +425 -0
  19. package/SVF-osx/Release-build/include/SVF/AE/Core/AbstractValue.h +157 -0
  20. package/SVF-osx/Release-build/include/SVF/AE/Core/AddressValue.h +225 -0
  21. package/SVF-osx/Release-build/include/SVF/AE/Core/ICFGWTO.h +135 -0
  22. package/SVF-osx/Release-build/include/SVF/AE/Core/IntervalValue.h +1055 -0
  23. package/SVF-osx/Release-build/include/SVF/AE/Core/NumericValue.h +1292 -0
  24. package/SVF-osx/Release-build/include/SVF/AE/Core/RelExeState.h +226 -0
  25. package/SVF-osx/Release-build/include/SVF/AE/Core/RelationSolver.h +91 -0
  26. package/SVF-osx/Release-build/include/SVF/AE/Svfexe/AEDetector.h +439 -0
  27. package/SVF-osx/Release-build/include/SVF/AE/Svfexe/AbsExtAPI.h +138 -0
  28. package/SVF-osx/Release-build/include/SVF/AE/Svfexe/AbstractInterpretation.h +384 -0
  29. package/SVF-osx/Release-build/include/SVF/CFL/CFGNormalizer.h +84 -0
  30. package/SVF-osx/Release-build/include/SVF/CFL/CFGrammar.h +468 -0
  31. package/SVF-osx/Release-build/include/SVF/CFL/CFLAlias.h +168 -0
  32. package/SVF-osx/Release-build/include/SVF/CFL/CFLBase.h +118 -0
  33. package/SVF-osx/Release-build/include/SVF/CFL/CFLGramGraphChecker.h +74 -0
  34. package/SVF-osx/Release-build/include/SVF/CFL/CFLGraphBuilder.h +168 -0
  35. package/SVF-osx/Release-build/include/SVF/CFL/CFLSVFGBuilder.h +58 -0
  36. package/SVF-osx/Release-build/include/SVF/CFL/CFLSolver.h +374 -0
  37. package/SVF-osx/Release-build/include/SVF/CFL/CFLStat.h +67 -0
  38. package/SVF-osx/Release-build/include/SVF/CFL/CFLVF.h +68 -0
  39. package/SVF-osx/Release-build/include/SVF/CFL/GrammarBuilder.h +100 -0
  40. package/SVF-osx/Release-build/include/SVF/DDA/ContextDDA.h +230 -0
  41. package/SVF-osx/Release-build/include/SVF/DDA/DDAClient.h +163 -0
  42. package/SVF-osx/Release-build/include/SVF/DDA/DDAPass.h +102 -0
  43. package/SVF-osx/Release-build/include/SVF/DDA/DDAStat.h +121 -0
  44. package/SVF-osx/Release-build/include/SVF/DDA/DDAVFSolver.h +794 -0
  45. package/SVF-osx/Release-build/include/SVF/DDA/FlowDDA.h +178 -0
  46. package/SVF-osx/Release-build/include/SVF/FastCluster/fastcluster.h +80 -0
  47. package/SVF-osx/Release-build/include/SVF/Graphs/BasicBlockG.h +318 -0
  48. package/SVF-osx/Release-build/include/SVF/Graphs/CDG.h +482 -0
  49. package/SVF-osx/Release-build/include/SVF/Graphs/CFLGraph.h +232 -0
  50. package/SVF-osx/Release-build/include/SVF/Graphs/CHG.h +368 -0
  51. package/SVF-osx/Release-build/include/SVF/Graphs/CallGraph.h +497 -0
  52. package/SVF-osx/Release-build/include/SVF/Graphs/ConsG.h +402 -0
  53. package/SVF-osx/Release-build/include/SVF/Graphs/ConsGEdge.h +355 -0
  54. package/SVF-osx/Release-build/include/SVF/Graphs/ConsGNode.h +418 -0
  55. package/SVF-osx/Release-build/include/SVF/Graphs/DOTGraphTraits.h +188 -0
  56. package/SVF-osx/Release-build/include/SVF/Graphs/GenericGraph.h +628 -0
  57. package/SVF-osx/Release-build/include/SVF/Graphs/GraphPrinter.h +111 -0
  58. package/SVF-osx/Release-build/include/SVF/Graphs/GraphTraits.h +150 -0
  59. package/SVF-osx/Release-build/include/SVF/Graphs/GraphWriter.h +380 -0
  60. package/SVF-osx/Release-build/include/SVF/Graphs/ICFG.h +331 -0
  61. package/SVF-osx/Release-build/include/SVF/Graphs/ICFGEdge.h +281 -0
  62. package/SVF-osx/Release-build/include/SVF/Graphs/ICFGNode.h +669 -0
  63. package/SVF-osx/Release-build/include/SVF/Graphs/ICFGStat.h +164 -0
  64. package/SVF-osx/Release-build/include/SVF/Graphs/IRGraph.h +398 -0
  65. package/SVF-osx/Release-build/include/SVF/Graphs/SCC.h +375 -0
  66. package/SVF-osx/Release-build/include/SVF/Graphs/SVFG.h +491 -0
  67. package/SVF-osx/Release-build/include/SVF/Graphs/SVFGEdge.h +237 -0
  68. package/SVF-osx/Release-build/include/SVF/Graphs/SVFGNode.h +501 -0
  69. package/SVF-osx/Release-build/include/SVF/Graphs/SVFGOPT.h +372 -0
  70. package/SVF-osx/Release-build/include/SVF/Graphs/SVFGStat.h +273 -0
  71. package/SVF-osx/Release-build/include/SVF/Graphs/ThreadCallGraph.h +399 -0
  72. package/SVF-osx/Release-build/include/SVF/Graphs/VFG.h +726 -0
  73. package/SVF-osx/Release-build/include/SVF/Graphs/VFGEdge.h +295 -0
  74. package/SVF-osx/Release-build/include/SVF/Graphs/VFGNode.h +1266 -0
  75. package/SVF-osx/Release-build/include/SVF/Graphs/WTO.h +872 -0
  76. package/SVF-osx/Release-build/include/SVF/MSSA/MSSAMuChi.h +722 -0
  77. package/SVF-osx/Release-build/include/SVF/MSSA/MemPartition.h +169 -0
  78. package/SVF-osx/Release-build/include/SVF/MSSA/MemRegion.h +489 -0
  79. package/SVF-osx/Release-build/include/SVF/MSSA/MemSSA.h +452 -0
  80. package/SVF-osx/Release-build/include/SVF/MSSA/SVFGBuilder.h +104 -0
  81. package/SVF-osx/Release-build/include/SVF/MTA/LockAnalysis.h +533 -0
  82. package/SVF-osx/Release-build/include/SVF/MTA/MHP.h +546 -0
  83. package/SVF-osx/Release-build/include/SVF/MTA/MTA.h +97 -0
  84. package/SVF-osx/Release-build/include/SVF/MTA/MTAStat.h +73 -0
  85. package/SVF-osx/Release-build/include/SVF/MTA/TCT.h +620 -0
  86. package/SVF-osx/Release-build/include/SVF/MemoryModel/AbstractPointsToDS.h +316 -0
  87. package/SVF-osx/Release-build/include/SVF/MemoryModel/AccessPath.h +194 -0
  88. package/SVF-osx/Release-build/include/SVF/MemoryModel/ConditionalPT.h +878 -0
  89. package/SVF-osx/Release-build/include/SVF/MemoryModel/MutablePointsToDS.h +1025 -0
  90. package/SVF-osx/Release-build/include/SVF/MemoryModel/PersistentPointsToCache.h +463 -0
  91. package/SVF-osx/Release-build/include/SVF/MemoryModel/PersistentPointsToDS.h +955 -0
  92. package/SVF-osx/Release-build/include/SVF/MemoryModel/PointerAnalysis.h +428 -0
  93. package/SVF-osx/Release-build/include/SVF/MemoryModel/PointerAnalysisImpl.h +602 -0
  94. package/SVF-osx/Release-build/include/SVF/MemoryModel/PointsTo.h +255 -0
  95. package/SVF-osx/Release-build/include/SVF/MemoryModel/SVFLoop.h +167 -0
  96. package/SVF-osx/Release-build/include/SVF/SABER/DoubleFreeChecker.h +76 -0
  97. package/SVF-osx/Release-build/include/SVF/SABER/FileChecker.h +80 -0
  98. package/SVF-osx/Release-build/include/SVF/SABER/LeakChecker.h +122 -0
  99. package/SVF-osx/Release-build/include/SVF/SABER/ProgSlice.h +327 -0
  100. package/SVF-osx/Release-build/include/SVF/SABER/SaberCheckerAPI.h +151 -0
  101. package/SVF-osx/Release-build/include/SVF/SABER/SaberCondAllocator.h +317 -0
  102. package/SVF-osx/Release-build/include/SVF/SABER/SaberSVFGBuilder.h +114 -0
  103. package/SVF-osx/Release-build/include/SVF/SABER/SrcSnkDDA.h +327 -0
  104. package/SVF-osx/Release-build/include/SVF/SABER/SrcSnkSolver.h +186 -0
  105. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/BasicTypes.h +280 -0
  106. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/BreakConstantExpr.h +93 -0
  107. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/CHGBuilder.h +78 -0
  108. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/CppUtil.h +184 -0
  109. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/DCHG.h +474 -0
  110. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/GEPTypeBridgeIterator.h +183 -0
  111. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/ICFGBuilder.h +160 -0
  112. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/LLVMLoopAnalysis.h +60 -0
  113. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/LLVMModule.h +527 -0
  114. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/LLVMUtil.h +433 -0
  115. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/ObjTypeInference.h +129 -0
  116. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/SVFIRBuilder.h +523 -0
  117. package/SVF-osx/Release-build/include/SVF/SVF-LLVM/SymbolTableBuilder.h +132 -0
  118. package/SVF-osx/Release-build/include/SVF/SVFIR/ObjTypeInfo.h +224 -0
  119. package/SVF-osx/Release-build/include/SVF/SVFIR/PAGBuilderFromFile.h +80 -0
  120. package/SVF-osx/Release-build/include/SVF/SVFIR/SVFIR.h +856 -0
  121. package/SVF-osx/Release-build/include/SVF/SVFIR/SVFStatements.h +1330 -0
  122. package/SVF-osx/Release-build/include/SVF/SVFIR/SVFType.h +606 -0
  123. package/SVF-osx/Release-build/include/SVF/SVFIR/SVFValue.h +338 -0
  124. package/SVF-osx/Release-build/include/SVF/SVFIR/SVFVariables.h +2212 -0
  125. package/SVF-osx/Release-build/include/SVF/Util/Annotator.h +180 -0
  126. package/SVF-osx/Release-build/include/SVF/Util/BitVector.h +55 -0
  127. package/SVF-osx/Release-build/include/SVF/Util/CDGBuilder.h +107 -0
  128. package/SVF-osx/Release-build/include/SVF/Util/CallGraphBuilder.h +61 -0
  129. package/SVF-osx/Release-build/include/SVF/Util/Casting.h +426 -0
  130. package/SVF-osx/Release-build/include/SVF/Util/CommandLine.h +530 -0
  131. package/SVF-osx/Release-build/include/SVF/Util/CoreBitVector.h +214 -0
  132. package/SVF-osx/Release-build/include/SVF/Util/CxtStmt.h +502 -0
  133. package/SVF-osx/Release-build/include/SVF/Util/DPItem.h +618 -0
  134. package/SVF-osx/Release-build/include/SVF/Util/ExtAPI.h +117 -0
  135. package/SVF-osx/Release-build/include/SVF/Util/GeneralType.h +127 -0
  136. package/SVF-osx/Release-build/include/SVF/Util/GraphReachSolver.h +186 -0
  137. package/SVF-osx/Release-build/include/SVF/Util/NodeIDAllocator.h +203 -0
  138. package/SVF-osx/Release-build/include/SVF/Util/Options.h +273 -0
  139. package/SVF-osx/Release-build/include/SVF/Util/PTAStat.h +83 -0
  140. package/SVF-osx/Release-build/include/SVF/Util/SVFBugReport.h +427 -0
  141. package/SVF-osx/Release-build/include/SVF/Util/SVFLoopAndDomInfo.h +169 -0
  142. package/SVF-osx/Release-build/include/SVF/Util/SVFStat.h +103 -0
  143. package/SVF-osx/Release-build/include/SVF/Util/SVFUtil.h +478 -0
  144. package/SVF-osx/Release-build/include/SVF/Util/SparseBitVector.h +1252 -0
  145. package/SVF-osx/Release-build/include/SVF/Util/ThreadAPI.h +188 -0
  146. package/SVF-osx/Release-build/include/SVF/Util/WorkList.h +317 -0
  147. package/SVF-osx/Release-build/include/SVF/Util/Z3Expr.h +325 -0
  148. package/SVF-osx/Release-build/include/SVF/Util/cJSON.h +300 -0
  149. package/SVF-osx/Release-build/include/SVF/Util/config.h +46 -0
  150. package/SVF-osx/Release-build/include/SVF/Util/iterator.h +407 -0
  151. package/SVF-osx/Release-build/include/SVF/Util/iterator_range.h +76 -0
  152. package/SVF-osx/Release-build/include/SVF/WPA/Andersen.h +434 -0
  153. package/SVF-osx/Release-build/include/SVF/WPA/AndersenPWC.h +160 -0
  154. package/SVF-osx/Release-build/include/SVF/WPA/CSC.h +95 -0
  155. package/SVF-osx/Release-build/include/SVF/WPA/FlowSensitive.h +322 -0
  156. package/SVF-osx/Release-build/include/SVF/WPA/Steensgaard.h +131 -0
  157. package/SVF-osx/Release-build/include/SVF/WPA/TypeAnalysis.h +90 -0
  158. package/SVF-osx/Release-build/include/SVF/WPA/VersionedFlowSensitive.h +295 -0
  159. package/SVF-osx/Release-build/include/SVF/WPA/WPAFSSolver.h +246 -0
  160. package/SVF-osx/Release-build/include/SVF/WPA/WPAPass.h +115 -0
  161. package/SVF-osx/Release-build/include/SVF/WPA/WPASolver.h +205 -0
  162. package/SVF-osx/Release-build/include/SVF/WPA/WPAStat.h +222 -0
  163. package/SVF-osx/Release-build/include/SVF/extapi.bc +2384 -0
  164. package/SVF-osx/Release-build/lib/cmake/SVF/Modules/FindZ3.cmake +93 -0
  165. package/SVF-osx/Release-build/lib/cmake/SVF/SVFConfig.cmake +106 -0
  166. package/SVF-osx/Release-build/lib/cmake/SVF/SVFConfigVersion.cmake +43 -0
  167. package/SVF-osx/Release-build/lib/cmake/SVF/SVFTargets-release.cmake +101 -0
  168. package/SVF-osx/Release-build/lib/cmake/SVF/SVFTargets.cmake +180 -0
  169. package/SVF-osx/Release-build/lib/libSvfCore.3.1.dylib +0 -0
  170. package/SVF-osx/Release-build/lib/libSvfLLVM.3.1.dylib +0 -0
  171. package/SVF-osx/Release-build/lib/pkgconfig/SVF.pc +12 -0
  172. package/package.json +1 -1
  173. package/SVF-linux-aarch64/Release-build/include/CFL/grammar/PAGGrammar.txt +0 -15
  174. package/SVF-linux-aarch64/Release-build/include/CFL/grammar/PEGGrammar.txt +0 -11
  175. package/SVF-linux-aarch64/Release-build/include/CFL/grammar/VFGGrammar.txt +0 -7
  176. package/SVF-linux-aarch64/Release-build/include/FastCluster/LICENSE.TXT +0 -13
  177. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/AbstractState.h +0 -0
  178. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/AbstractValue.h +0 -0
  179. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/AddressValue.h +0 -0
  180. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/ICFGWTO.h +0 -0
  181. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/IntervalValue.h +0 -0
  182. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/NumericValue.h +0 -0
  183. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/RelExeState.h +0 -0
  184. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/RelationSolver.h +0 -0
  185. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Svfexe/AEDetector.h +0 -0
  186. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Svfexe/AbsExtAPI.h +0 -0
  187. /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Svfexe/AbstractInterpretation.h +0 -0
  188. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFGNormalizer.h +0 -0
  189. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFGrammar.h +0 -0
  190. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLAlias.h +0 -0
  191. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLBase.h +0 -0
  192. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLGramGraphChecker.h +0 -0
  193. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLGraphBuilder.h +0 -0
  194. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLSVFGBuilder.h +0 -0
  195. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLSolver.h +0 -0
  196. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLStat.h +0 -0
  197. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLVF.h +0 -0
  198. /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/GrammarBuilder.h +0 -0
  199. /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/ContextDDA.h +0 -0
  200. /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/DDAClient.h +0 -0
  201. /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/DDAPass.h +0 -0
  202. /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/DDAStat.h +0 -0
  203. /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/DDAVFSolver.h +0 -0
  204. /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/FlowDDA.h +0 -0
  205. /package/SVF-linux-aarch64/Release-build/include/{FastCluster → SVF/FastCluster}/fastcluster.h +0 -0
  206. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/BasicBlockG.h +0 -0
  207. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/CDG.h +0 -0
  208. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/CFLGraph.h +0 -0
  209. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/CHG.h +0 -0
  210. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/CallGraph.h +0 -0
  211. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ConsG.h +0 -0
  212. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ConsGEdge.h +0 -0
  213. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ConsGNode.h +0 -0
  214. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/DOTGraphTraits.h +0 -0
  215. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/GenericGraph.h +0 -0
  216. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/GraphPrinter.h +0 -0
  217. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/GraphTraits.h +0 -0
  218. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/GraphWriter.h +0 -0
  219. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ICFG.h +0 -0
  220. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ICFGEdge.h +0 -0
  221. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ICFGNode.h +0 -0
  222. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ICFGStat.h +0 -0
  223. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/IRGraph.h +0 -0
  224. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SCC.h +0 -0
  225. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFG.h +0 -0
  226. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFGEdge.h +0 -0
  227. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFGNode.h +0 -0
  228. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFGOPT.h +0 -0
  229. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFGStat.h +0 -0
  230. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ThreadCallGraph.h +0 -0
  231. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/VFG.h +0 -0
  232. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/VFGEdge.h +0 -0
  233. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/VFGNode.h +0 -0
  234. /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/WTO.h +0 -0
  235. /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/MSSAMuChi.h +0 -0
  236. /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/MemPartition.h +0 -0
  237. /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/MemRegion.h +0 -0
  238. /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/MemSSA.h +0 -0
  239. /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/SVFGBuilder.h +0 -0
  240. /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/LockAnalysis.h +0 -0
  241. /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/MHP.h +0 -0
  242. /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/MTA.h +0 -0
  243. /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/MTAStat.h +0 -0
  244. /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/TCT.h +0 -0
  245. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/AbstractPointsToDS.h +0 -0
  246. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/AccessPath.h +0 -0
  247. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/ConditionalPT.h +0 -0
  248. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/MutablePointsToDS.h +0 -0
  249. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PersistentPointsToCache.h +0 -0
  250. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PersistentPointsToDS.h +0 -0
  251. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointerAnalysis.h +0 -0
  252. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointerAnalysisImpl.h +0 -0
  253. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointsTo.h +0 -0
  254. /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/SVFLoop.h +0 -0
  255. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/DoubleFreeChecker.h +0 -0
  256. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/FileChecker.h +0 -0
  257. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/LeakChecker.h +0 -0
  258. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/ProgSlice.h +0 -0
  259. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SaberCheckerAPI.h +0 -0
  260. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SaberCondAllocator.h +0 -0
  261. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SaberSVFGBuilder.h +0 -0
  262. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SrcSnkDDA.h +0 -0
  263. /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SrcSnkSolver.h +0 -0
  264. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/BasicTypes.h +0 -0
  265. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/BreakConstantExpr.h +0 -0
  266. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/CHGBuilder.h +0 -0
  267. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/CppUtil.h +0 -0
  268. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/DCHG.h +0 -0
  269. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/GEPTypeBridgeIterator.h +0 -0
  270. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/ICFGBuilder.h +0 -0
  271. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMLoopAnalysis.h +0 -0
  272. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMModule.h +0 -0
  273. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMUtil.h +0 -0
  274. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/ObjTypeInference.h +0 -0
  275. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/SVFIRBuilder.h +0 -0
  276. /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/SymbolTableBuilder.h +0 -0
  277. /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/ObjTypeInfo.h +0 -0
  278. /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/PAGBuilderFromFile.h +0 -0
  279. /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFIR.h +0 -0
  280. /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFStatements.h +0 -0
  281. /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFType.h +0 -0
  282. /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFValue.h +0 -0
  283. /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFVariables.h +0 -0
  284. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/Annotator.h +0 -0
  285. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/BitVector.h +0 -0
  286. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CDGBuilder.h +0 -0
  287. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CallGraphBuilder.h +0 -0
  288. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/Casting.h +0 -0
  289. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CommandLine.h +0 -0
  290. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CoreBitVector.h +0 -0
  291. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CxtStmt.h +0 -0
  292. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/DPItem.h +0 -0
  293. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/ExtAPI.h +0 -0
  294. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/GeneralType.h +0 -0
  295. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/GraphReachSolver.h +0 -0
  296. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/NodeIDAllocator.h +0 -0
  297. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/Options.h +0 -0
  298. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/PTAStat.h +0 -0
  299. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SVFBugReport.h +0 -0
  300. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SVFLoopAndDomInfo.h +0 -0
  301. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SVFStat.h +0 -0
  302. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SVFUtil.h +0 -0
  303. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SparseBitVector.h +0 -0
  304. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/ThreadAPI.h +0 -0
  305. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/Z3Expr.h +0 -0
  306. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/cJSON.h +0 -0
  307. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/iterator.h +0 -0
  308. /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/iterator_range.h +0 -0
  309. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/Andersen.h +0 -0
  310. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/AndersenPWC.h +0 -0
  311. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/CSC.h +0 -0
  312. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/FlowSensitive.h +0 -0
  313. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/Steensgaard.h +0 -0
  314. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/TypeAnalysis.h +0 -0
  315. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/VersionedFlowSensitive.h +0 -0
  316. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/WPAFSSolver.h +0 -0
  317. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/WPAPass.h +0 -0
  318. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/WPASolver.h +0 -0
  319. /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/WPAStat.h +0 -0
  320. /package/SVF-linux-aarch64/Release-build/{lib → include/SVF}/extapi.bc +0 -0
@@ -0,0 +1,474 @@
1
+ //===----- DCHG.h -- CHG using DWARF debug info ---------------------------//
2
+ // This is based upon the original CHA.h (now CHG.h).
3
+
4
+ /*
5
+ * DCHG.h
6
+ *
7
+ * Created on: Aug 23, 2019
8
+ * Author: Mohamad Barbar
9
+ */
10
+
11
+ // TODO: add a flag such that getCanonicalType returns its arg so
12
+ // that the impl. does not "node collapsing" based on teq.
13
+
14
+ #ifndef DCHG_H_
15
+ #define DCHG_H_
16
+
17
+ #include "Graphs/GenericGraph.h"
18
+ #include "Graphs/CHG.h"
19
+ #include "SVF-LLVM/BasicTypes.h"
20
+ #include "Util/SVFUtil.h"
21
+ #include "Util/WorkList.h"
22
+
23
+ namespace SVF
24
+ {
25
+
26
+ class DCHNode;
27
+
28
+ class DCHEdge : public GenericEdge<DCHNode>
29
+ {
30
+ public:
31
+ enum
32
+ {
33
+ INHERITANCE, // inheritance relation
34
+ INSTANCE, // template-instance relation
35
+ FIRST_FIELD, // src -ff-> dst => dst is first field of src
36
+ STD_DEF // Edges defined by the standard like (int -std-> char)
37
+ // We also make the char --> void edge a STD_DEF edge.
38
+ };
39
+
40
+ typedef GenericNode<DCHNode, DCHEdge>::GEdgeSetTy DCHEdgeSetTy;
41
+
42
+ DCHEdge(DCHNode *src, DCHNode *dst, GEdgeFlag k = 0)
43
+ : GenericEdge<DCHNode>(src, dst, k), offset(0)
44
+ {
45
+ }
46
+
47
+ u32_t getConstantFieldIdx(void) const
48
+ {
49
+ return offset;
50
+ }
51
+
52
+ void setOffset(u32_t offset)
53
+ {
54
+ this->offset = offset;
55
+ }
56
+
57
+ private:
58
+ u32_t offset;
59
+ };
60
+
61
+ class DCHNode : public GenericNode<DCHNode, DCHEdge>
62
+ {
63
+ public:
64
+ typedef enum
65
+ {
66
+ PURE_ABSTRACT = 0x1, // pure virtual abstract class
67
+ MULTI_INHERITANCE = 0x2, // multi inheritance class
68
+ TEMPLATE = 0x04, // template class
69
+ SCALAR = 0x08 // non-class scalar type
70
+ } CLASSATTR;
71
+
72
+ typedef std::vector<const Function*> FuncVector;
73
+
74
+ DCHNode(const DIType* diType, NodeID i = 0, GNodeK k = GNodeK::DCHNodeKd)
75
+ : GenericNode<DCHNode, DCHEdge>(i, k), vtable(nullptr), flags(0)
76
+ {
77
+ this->diType = diType;
78
+ if (diType == nullptr)
79
+ {
80
+ typeName = "null-void";
81
+ }
82
+ else if (diType->getRawName() != nullptr)
83
+ {
84
+ typeName = diType->getName().str();
85
+ }
86
+ else
87
+ {
88
+ typeName = "unnamed!";
89
+ }
90
+ }
91
+
92
+ ~DCHNode() { }
93
+
94
+ const DIType * getDIType(void) const
95
+ {
96
+ return diType;
97
+ }
98
+
99
+ virtual const std::string& getName() const
100
+ {
101
+ return typeName;
102
+ }
103
+
104
+ /// Flags
105
+ //@{
106
+ inline void setFlag(CLASSATTR mask)
107
+ {
108
+ flags |= mask;
109
+ }
110
+ inline bool hasFlag(CLASSATTR mask) const
111
+ {
112
+ return (flags & mask) == mask;
113
+ }
114
+ //@}
115
+
116
+ /// Attribute
117
+ //@{
118
+ inline void setPureAbstract()
119
+ {
120
+ setFlag(PURE_ABSTRACT);
121
+ }
122
+ inline void setMultiInheritance()
123
+ {
124
+ setFlag(MULTI_INHERITANCE);
125
+ }
126
+ inline void setTemplate()
127
+ {
128
+ setFlag(TEMPLATE);
129
+ }
130
+ inline void setScalar()
131
+ {
132
+ setFlag(SCALAR);
133
+ }
134
+ inline bool isPureAbstract() const
135
+ {
136
+ return hasFlag(PURE_ABSTRACT);
137
+ }
138
+ inline bool isMultiInheritance() const
139
+ {
140
+ return hasFlag(MULTI_INHERITANCE);
141
+ }
142
+ inline bool isTemplate() const
143
+ {
144
+ return hasFlag(TEMPLATE);
145
+ }
146
+ inline bool isScalar() const
147
+ {
148
+ return hasFlag(SCALAR);
149
+ }
150
+ //@}
151
+
152
+ void addTypedef(const DIDerivedType *diTypedef)
153
+ {
154
+ typedefs.insert(diTypedef);
155
+ }
156
+
157
+ const Set<const DIDerivedType *> &getTypedefs(void) const
158
+ {
159
+ return typedefs;
160
+ }
161
+
162
+ void setVTable(const GlobalObjVar *vtbl)
163
+ {
164
+ vtable = vtbl;
165
+ }
166
+
167
+ const GlobalObjVar *getVTable() const
168
+ {
169
+ return vtable;
170
+ }
171
+
172
+ /// Returns the vector of virtual function vectors.
173
+ const std::vector<std::vector<const Function* >> &getVfnVectors(void) const
174
+ {
175
+ return vfnVectors;
176
+ }
177
+
178
+ /// Return the nth virtual function vector in the vtable.
179
+ std::vector<const Function* > &getVfnVector(unsigned n)
180
+ {
181
+ if (vfnVectors.size() < n + 1)
182
+ {
183
+ vfnVectors.resize(n + 1);
184
+ }
185
+
186
+ return vfnVectors[n];
187
+ }
188
+
189
+ private:
190
+ /// Type of this node.
191
+ const DIType *diType;
192
+ /// Typedefs which map to this type.
193
+ Set<const DIDerivedType *> typedefs;
194
+ const GlobalObjVar* vtable;
195
+ std::string typeName;
196
+ size_t flags;
197
+ /// The virtual functions which this class actually defines/overrides.
198
+ std::vector<const Function* > primaryVTable;
199
+ /// If a vtable is split into more than one vfn vector for multiple inheritance,
200
+ /// 0 would be the primary base + this classes virtual functions, 1 would be
201
+ /// the second parent, 2 would be third parent, etc.
202
+ std::vector<std::vector<const Function*>> vfnVectors;
203
+ };
204
+
205
+ /// Dwarf based CHG.
206
+ class DCHGraph :
207
+ public CommonCHGraph, public GenericGraph<DCHNode, DCHEdge>
208
+ {
209
+ public:
210
+ /// Returns the DIType beneath the qualifiers. Does not strip away "DW_TAG_members".
211
+ static const DIType* stripQualifiers(const DIType*);
212
+
213
+ /// Returns the DIType beneath all qualifiers and arrays.
214
+ static const DIType* stripArray(const DIType*);
215
+
216
+ /// Returns true if t1 and t2 are equivalent, ignoring qualifiers.
217
+ /// For equality...
218
+ /// Tags always need to be equal.
219
+ /// DIBasicType: shallow pointer equality.
220
+ /// DIDerivedType: base types (teq).
221
+ /// DICompositeType: shallow pointer equality.
222
+ /// DISubroutineType: shallow pointer equality.
223
+ static bool teq(const DIType* t1, const DIType* t2);
224
+
225
+ /// Returns a human-readable version of the DIType.
226
+ static std::string diTypeToStr(const DIType *);
227
+
228
+ // Returns whether t is an array, a struct, a class, a union, or neither.
229
+ static bool isAgg(const DIType* t);
230
+
231
+ public:
232
+ DCHGraph()
233
+ :numTypes(0) // vfID(0), buildingCHGTime(0) {
234
+ {
235
+ this->kind = DI;
236
+ }
237
+
238
+ virtual ~DCHGraph() { };
239
+
240
+ /// Builds the CHG from DWARF debug information. extend determines
241
+ /// whether to extend the CHG with first field edges.
242
+ virtual void buildCHG(bool extend);
243
+
244
+ void dump(const std::string& filename)
245
+ {
246
+ GraphPrinter::WriteGraphToFile(SVFUtil::outs(), filename, this);
247
+ }
248
+
249
+ void print(void);
250
+
251
+ virtual bool csHasVFnsBasedonCHA(const CallICFGNode* cs) override
252
+ {
253
+ return csHasVtblsBasedonCHA(cs);
254
+ }
255
+
256
+ virtual const VFunSet &getCSVFsBasedonCHA(const CallICFGNode* cs) override;
257
+
258
+ virtual bool csHasVtblsBasedonCHA(CallBase* cs)
259
+ {
260
+ assert(false && "not supported");
261
+ const DIType *type = getCanonicalType(getCSStaticType(cs));
262
+ if (!hasNode(type))
263
+ {
264
+ return false;
265
+ }
266
+
267
+ return getNode(type)->getVTable() != nullptr;
268
+ }
269
+
270
+ virtual bool csHasVtblsBasedonCHA(const CallICFGNode* cs) override
271
+ {
272
+ assert(false && "not supported!");
273
+ abort();
274
+ }
275
+
276
+ virtual const VTableSet &getCSVtblsBasedonCHA(const CallICFGNode* cs) override;
277
+ virtual void getVFnsFromVtbls(const CallICFGNode* cs, const VTableSet &vtbls, VFunSet &virtualFunctions) override;
278
+
279
+ /// Returns true if a is a transitive base of b. firstField determines
280
+ /// whether to consider first-field edges.
281
+ virtual bool isBase(const DIType *a, const DIType *b, bool firstField);
282
+
283
+ /// Returns true if f is a field of b (fields from getFieldTypes).
284
+ virtual bool isFieldOf(const DIType *f, const DIType *b);
285
+
286
+ static inline bool classof(const CommonCHGraph *chg)
287
+ {
288
+ return chg->getKind() == DI;
289
+ }
290
+
291
+ /// Returns the type representing all qualifier-variations of t.
292
+ /// This should only matter in the case of DerivedTypes where
293
+ /// qualifiers and have qualified base types cause a mess.
294
+ const DIType* getCanonicalType(const DIType* t);
295
+
296
+ /// Returns the type of field number idx (flattened) in base.
297
+ const DIType *getFieldType(const DIType *base, unsigned idx)
298
+ {
299
+ base = getCanonicalType(base);
300
+ if (base == nullptr)
301
+ {
302
+ // Conservative; the base object is untyped, sadly.
303
+ return nullptr;
304
+ }
305
+
306
+ // For TBHC this is conservative because the union type is lower in the DCHG
307
+ // than its fields. TODO: make more precise.
308
+ if (base->getTag() == dwarf::DW_TAG_union_type)
309
+ {
310
+ return base;
311
+ }
312
+
313
+ if (base->getTag() == dwarf::DW_TAG_array_type)
314
+ {
315
+ const DICompositeType* cbase =
316
+ SVFUtil::dyn_cast<DICompositeType>(base);
317
+ assert(cbase && "DCHG: bad DIComposite case");
318
+ return cbase->getBaseType();
319
+ }
320
+
321
+ if (!(base->getTag() == dwarf::DW_TAG_class_type ||
322
+ base->getTag() == dwarf::DW_TAG_structure_type))
323
+ {
324
+ return nullptr;
325
+ }
326
+
327
+ assert(fieldTypes.find(base) != fieldTypes.end() && "DCHG: base not flattened!");
328
+ std::vector<const DIType *> &fields = fieldTypes[base];
329
+ assert(fields.size() > idx && "DCHG: idx into struct larger than # fields!");
330
+ return getCanonicalType(fields[idx]);
331
+ }
332
+
333
+ /// Returns a vector of the types of all fields in base.
334
+ const std::vector<const DIType *> &getFieldTypes(const DIType *base)
335
+ {
336
+ base = getCanonicalType(base);
337
+ assert(fieldTypes.find(base) != fieldTypes.end() && "DCHG: base not flattened!");
338
+ return fieldTypes[base];
339
+ }
340
+
341
+ // Returns the number of fields in base (length of getFieldTypes).
342
+ unsigned getNumFields(const DIType *base)
343
+ {
344
+ base = getCanonicalType(base);
345
+ assert(fieldTypes.find(base) != fieldTypes.end() && "DCHG: base not flattened!");
346
+ return fieldTypes[base].size();
347
+ }
348
+
349
+ /// Returns all the aggregates contained (transitively) in base.
350
+ const Set<const DIType *> &getAggs(const DIType *base)
351
+ {
352
+ base = getCanonicalType(base);
353
+ assert(containingAggs.find(base) != containingAggs.end() && "DCHG: aggregates not gathered for base!");
354
+ return containingAggs[base];
355
+ }
356
+
357
+ bool isFirstField(const DIType* f, const DIType* b);
358
+
359
+ protected:
360
+ /// Whether this CHG is an extended CHG (first-field). Set by buildCHG.
361
+ bool extended = false;
362
+ /// Maps DITypes to their nodes.
363
+ Map<const DIType*, DCHNode*> diTypeToNodeMap;
364
+ /// Maps VTables to the DIType associated with them.
365
+ Map<const GlobalObjVar*, const DIType*> vtblToTypeMap;
366
+ /// Maps types to all children (i.e. CHA).
367
+ Map<const DIType*, NodeBS> chaMap;
368
+ /// Maps types to all children but also considering first field.
369
+ Map<const DIType*, NodeBS> chaFFMap;
370
+ /// Maps types to a set with their vtable and all their children's.
371
+ Map<const DIType*, VTableSet> vtblCHAMap;
372
+ /// Maps callsites to a set of potential virtual functions based on CHA.
373
+ Map<const CallICFGNode*, VFunSet> csCHAMap;
374
+ /// Maps types to their canonical type (many-to-one).
375
+ Map<const DIType*, const DIType*> canonicalTypeMap;
376
+ /// Set of all possible canonical types (i.e. values of canonicalTypeMap).
377
+ Set<const DIType*> canonicalTypes;
378
+ /// Maps types to their flattened fields' types.
379
+ Map<const DIType*, std::vector<const DIType*>> fieldTypes;
380
+ /// Maps aggregate types to all the aggregate types it transitively contains.
381
+ Map<const DIType*, Set<const DIType*>> containingAggs;
382
+
383
+ private:
384
+ /// Construction helper to process DIBasicTypes.
385
+ void handleDIBasicType(const DIBasicType* basicType);
386
+ /// Construction helper to process DICompositeTypes.
387
+ void handleDICompositeType(const DICompositeType* compositeType);
388
+ /// Construction helper to process DIDerivedTypes.
389
+ void handleDIDerivedType(const DIDerivedType* derivedType);
390
+ /// Construction helper to process DISubroutineTypes.
391
+ void handleDISubroutineType(const DISubroutineType* subroutineType);
392
+
393
+ /// Finds all defined virtual functions and attaches them to nodes.
394
+ void buildVTables();
395
+
396
+ /// Returns a set of all children of type (CHA). Also gradually builds chaMap.
397
+ const NodeBS& cha(const DIType* type, bool firstField);
398
+
399
+ /// Attaches the typedef(s) to the base node.
400
+ void handleTypedef(const DIType* typedefType);
401
+
402
+ /// Populates fieldTypes for type and all its elements.
403
+ void flatten(const DICompositeType* type);
404
+
405
+ /// Populates containingAggs for type and all its elements.
406
+ void gatherAggs(const DICompositeType* type);
407
+
408
+ /// Creates a node from type, or returns it if it exists.
409
+ DCHNode* getOrCreateNode(const DIType* type);
410
+
411
+ /// Retrieves the metadata associated with a *virtual* callsite.
412
+ const DIType* getCSStaticType(CallBase* cs) const;
413
+
414
+ const DIType *getCSStaticType(const CallICFGNode* cs) const
415
+ {
416
+ assert(false && "not supported!");
417
+ abort();
418
+ }
419
+
420
+ /// Checks if a node exists for type.
421
+ bool hasNode(const DIType* type)
422
+ {
423
+ type = getCanonicalType(type);
424
+ return diTypeToNodeMap.find(type) != diTypeToNodeMap.end();
425
+ }
426
+
427
+ /// Returns the node for type (nullptr if it doesn't exist).
428
+ DCHNode* getNode(const DIType* type)
429
+ {
430
+ type = getCanonicalType(type);
431
+ if (hasNode(type))
432
+ {
433
+ return diTypeToNodeMap.at(type);
434
+ }
435
+
436
+ return nullptr;
437
+ }
438
+
439
+
440
+ /// Creates an edge between from t1 to t2.
441
+ DCHEdge* addEdge(const DIType* t1, const DIType* t2, DCHEdge::GEdgeKind et);
442
+ /// Returns the edge between t1 and t2 if it exists, returns nullptr otherwise.
443
+ DCHEdge* hasEdge(const DIType* t1, const DIType* t2, DCHEdge::GEdgeKind et);
444
+
445
+ /// Number of types (nodes) in the graph.
446
+ NodeID numTypes;
447
+ };
448
+
449
+ } // End namespace SVF
450
+
451
+ namespace SVF
452
+ {
453
+ /* !
454
+ * GenericGraphTraits specializations for generic graph algorithms.
455
+ * Provide graph traits for traversing from a constraint node using standard graph traversals.
456
+ */
457
+ template<> struct GenericGraphTraits<SVF::DCHNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::DCHNode,SVF::DCHEdge>* >
458
+ {
459
+ };
460
+
461
+ /// Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal.
462
+ template<>
463
+ struct GenericGraphTraits<Inverse<SVF::DCHNode*> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::DCHNode,SVF::DCHEdge>* > >
464
+ {
465
+ };
466
+
467
+ template<> struct GenericGraphTraits<SVF::DCHGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::DCHNode,SVF::DCHEdge>* >
468
+ {
469
+ typedef SVF::DCHNode *NodeRef;
470
+ };
471
+
472
+ } // End namespace llvm
473
+
474
+ #endif /* DCHG_H_ */
@@ -0,0 +1,183 @@
1
+ // GEPTypeBridgeIterator
2
+ //
3
+ //
4
+ #ifndef SVF_GEPTYPEBRIDGEITERATOR_H
5
+ #define SVF_GEPTYPEBRIDGEITERATOR_H
6
+
7
+ #include "llvm/IR/DerivedTypes.h"
8
+ #include "llvm/IR/Operator.h"
9
+ #include "llvm/IR/User.h"
10
+ #include "llvm/ADT/PointerIntPair.h"
11
+ #include "llvm/IR/GetElementPtrTypeIterator.h"
12
+
13
+ namespace llvm
14
+ {
15
+
16
+ template<typename ItTy = User::const_op_iterator>
17
+ class generic_bridge_gep_type_iterator : public std::iterator<std::forward_iterator_tag, Type*, ptrdiff_t>
18
+ {
19
+
20
+ typedef std::iterator<std::forward_iterator_tag,Type*, ptrdiff_t> super;
21
+ ItTy OpIt;
22
+ PointerIntPair<Type*,1> CurTy;
23
+ unsigned AddrSpace;
24
+ generic_bridge_gep_type_iterator() {}
25
+ public:
26
+
27
+ static generic_bridge_gep_type_iterator begin(Type* Ty, ItTy It)
28
+ {
29
+ generic_bridge_gep_type_iterator I;
30
+ I.CurTy.setPointer(Ty);
31
+ I.OpIt = It;
32
+ return I;
33
+ }
34
+
35
+ static generic_bridge_gep_type_iterator begin(Type* Ty, unsigned AddrSpace,
36
+ ItTy It)
37
+ {
38
+ generic_bridge_gep_type_iterator I;
39
+ I.CurTy.setPointer(Ty);
40
+ I.CurTy.setInt(true);
41
+ I.AddrSpace = AddrSpace;
42
+ I.OpIt = It;
43
+ return I;
44
+ }
45
+
46
+ static generic_bridge_gep_type_iterator end(ItTy It)
47
+ {
48
+ generic_bridge_gep_type_iterator I;
49
+ I.OpIt = It;
50
+ return I;
51
+ }
52
+
53
+ bool operator==(const generic_bridge_gep_type_iterator& x) const
54
+ {
55
+ return OpIt == x.OpIt;
56
+ }
57
+
58
+ bool operator!=(const generic_bridge_gep_type_iterator& x) const
59
+ {
60
+ return !operator==(x);
61
+ }
62
+
63
+ Type* operator*() const
64
+ {
65
+ if ( CurTy.getInt() )
66
+ return CurTy.getPointer()->getPointerTo(AddrSpace);
67
+ return CurTy.getPointer();
68
+ }
69
+
70
+ Type* getIndexedType() const
71
+ {
72
+ assert(false && "needs to be refactored");
73
+ if ( CurTy.getInt() )
74
+ return CurTy.getPointer();
75
+ #if LLVM_VERSION_MAJOR >= 11
76
+ Type* CT = CurTy.getPointer();
77
+ if (auto ST = dyn_cast<StructType>(CT))
78
+ return ST->getTypeAtIndex(getOperand());
79
+ else if (auto Array = dyn_cast<ArrayType>(CT))
80
+ return Array->getElementType();
81
+ else if (auto Vector = dyn_cast<VectorType>(CT))
82
+ return Vector->getElementType();
83
+ else
84
+ return CT;
85
+ #else
86
+ CompositeType *CT = llvm::cast<CompositeType>( CurTy.getPointer() );
87
+ return CT->getTypeAtIndex(getOperand());
88
+ #endif
89
+ }
90
+
91
+ // non-standard operators, these may not need be bridged but seems it's
92
+ // prudent to do so...
93
+ Type* operator->() const
94
+ {
95
+ return operator*();
96
+ }
97
+
98
+ Value* getOperand() const
99
+ {
100
+ return const_cast<Value*>(&**OpIt);
101
+ }
102
+
103
+
104
+ generic_bridge_gep_type_iterator& operator++()
105
+ {
106
+ if ( CurTy.getInt() )
107
+ {
108
+ CurTy.setInt(false);
109
+ }
110
+ #if LLVM_VERSION_MAJOR >= 11
111
+ else if ( Type* CT = CurTy.getPointer() )
112
+ {
113
+ if (auto ST = dyn_cast<StructType>(CT))
114
+ CurTy.setPointer(ST->getTypeAtIndex(getOperand()));
115
+ else if (auto Array = dyn_cast<ArrayType>(CT))
116
+ CurTy.setPointer(Array->getElementType());
117
+ else if (auto Vector = dyn_cast<VectorType>(CT))
118
+ CurTy.setPointer(Vector->getElementType());
119
+ else
120
+ CurTy.setPointer(nullptr);
121
+ }
122
+ #else
123
+ else if ( CompositeType * CT = dyn_cast<CompositeType>(CurTy.getPointer()) )
124
+ {
125
+ CurTy.setPointer(CT->getTypeAtIndex(getOperand()));
126
+ }
127
+ #endif
128
+ else
129
+ {
130
+ CurTy.setPointer(nullptr);
131
+ }
132
+ ++OpIt;
133
+ return *this;
134
+ }
135
+
136
+
137
+ generic_bridge_gep_type_iterator operator++(int)
138
+ {
139
+ generic_bridge_gep_type_iterator tmp = *this;
140
+ ++*this;
141
+ return tmp;
142
+ }
143
+
144
+ };
145
+
146
+
147
+ typedef generic_bridge_gep_type_iterator<> bridge_gep_iterator;
148
+
149
+ inline bridge_gep_iterator bridge_gep_begin(const User* GEP)
150
+ {
151
+ auto *GEPOp = llvm::cast<GEPOperator>(GEP);
152
+ return bridge_gep_iterator::begin(GEPOp->getSourceElementType(),
153
+ llvm::cast<PointerType>(GEPOp->getPointerOperandType()->getScalarType())->getAddressSpace(),
154
+ GEP->op_begin() + 1);
155
+ }
156
+
157
+ inline bridge_gep_iterator bridge_gep_end(const User* GEP)
158
+ {
159
+ return bridge_gep_iterator::end(GEP->op_end());
160
+ }
161
+
162
+ inline bridge_gep_iterator bridge_gep_begin(const User &GEP)
163
+ {
164
+ auto &GEPOp = llvm::cast<GEPOperator>(GEP);
165
+ return bridge_gep_iterator::begin( GEPOp.getSourceElementType(),
166
+ llvm::cast<PointerType>(GEPOp.getPointerOperandType()->getScalarType())->getAddressSpace(),
167
+ GEP.op_begin() + 1);
168
+ }
169
+
170
+ inline bridge_gep_iterator bridge_gep_end(const User &GEP)
171
+ {
172
+ return bridge_gep_iterator::end(GEP.op_end());
173
+ }
174
+
175
+ template<typename T>
176
+ inline generic_bridge_gep_type_iterator<const T*> bridge_gep_end( Type* /*Op0*/, ArrayRef<T> A )
177
+ {
178
+ return generic_bridge_gep_type_iterator<const T*>::end(A.end());
179
+ }
180
+
181
+ } // End namespace llvm
182
+
183
+ #endif