svf-lib 1.0.1376 → 1.0.1377

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 (292) hide show
  1. package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  2. package/package.json +1 -1
  3. package/SVF-linux/svf/include/include/AbstractExecution/AbstractValue.h +0 -79
  4. package/SVF-linux/svf/include/include/AbstractExecution/AddressValue.h +0 -210
  5. package/SVF-linux/svf/include/include/AbstractExecution/ExeState.h +0 -223
  6. package/SVF-linux/svf/include/include/AbstractExecution/IntervalExeState.h +0 -425
  7. package/SVF-linux/svf/include/include/AbstractExecution/IntervalValue.h +0 -868
  8. package/SVF-linux/svf/include/include/AbstractExecution/NumericLiteral.h +0 -406
  9. package/SVF-linux/svf/include/include/AbstractExecution/RelExeState.h +0 -225
  10. package/SVF-linux/svf/include/include/AbstractExecution/RelationSolver.h +0 -68
  11. package/SVF-linux/svf/include/include/AbstractExecution/SVFIR2ItvExeState.h +0 -186
  12. package/SVF-linux/svf/include/include/AbstractExecution/WTO.h +0 -845
  13. package/SVF-linux/svf/include/include/CFL/CFGNormalizer.h +0 -84
  14. package/SVF-linux/svf/include/include/CFL/CFLAlias.h +0 -176
  15. package/SVF-linux/svf/include/include/CFL/CFLBase.h +0 -115
  16. package/SVF-linux/svf/include/include/CFL/CFLData.h +0 -316
  17. package/SVF-linux/svf/include/include/CFL/CFLDataBuilder.h +0 -91
  18. package/SVF-linux/svf/include/include/CFL/CFLGramGraphChecker.h +0 -74
  19. package/SVF-linux/svf/include/include/CFL/CFLGrammar.h +0 -468
  20. package/SVF-linux/svf/include/include/CFL/CFLGrammar.txt +0 -15
  21. package/SVF-linux/svf/include/include/CFL/CFLGraphBuilder.h +0 -193
  22. package/SVF-linux/svf/include/include/CFL/CFLSolver.h +0 -136
  23. package/SVF-linux/svf/include/include/CFL/CFLStat.h +0 -67
  24. package/SVF-linux/svf/include/include/CFL/CFLVF.h +0 -65
  25. package/SVF-linux/svf/include/include/CFL/GrammarBuilder.h +0 -100
  26. package/SVF-linux/svf/include/include/CFL/PEGGrammar.txt +0 -11
  27. package/SVF-linux/svf/include/include/CFL/VFG.txt +0 -7
  28. package/SVF-linux/svf/include/include/DDA/ContextDDA.h +0 -230
  29. package/SVF-linux/svf/include/include/DDA/DDAClient.h +0 -168
  30. package/SVF-linux/svf/include/include/DDA/DDAPass.h +0 -99
  31. package/SVF-linux/svf/include/include/DDA/DDAStat.h +0 -138
  32. package/SVF-linux/svf/include/include/DDA/DDAVFSolver.h +0 -789
  33. package/SVF-linux/svf/include/include/DDA/FlowDDA.h +0 -178
  34. package/SVF-linux/svf/include/include/FastCluster/LICENSE.TXT +0 -13
  35. package/SVF-linux/svf/include/include/FastCluster/fastcluster.h +0 -80
  36. package/SVF-linux/svf/include/include/Graphs/CFLGraph.h +0 -215
  37. package/SVF-linux/svf/include/include/Graphs/CHG.h +0 -351
  38. package/SVF-linux/svf/include/include/Graphs/ConsG.h +0 -408
  39. package/SVF-linux/svf/include/include/Graphs/ConsGEdge.h +0 -353
  40. package/SVF-linux/svf/include/include/Graphs/ConsGNode.h +0 -391
  41. package/SVF-linux/svf/include/include/Graphs/DOTGraphTraits.h +0 -188
  42. package/SVF-linux/svf/include/include/Graphs/GenericGraph.h +0 -620
  43. package/SVF-linux/svf/include/include/Graphs/GraphPrinter.h +0 -111
  44. package/SVF-linux/svf/include/include/Graphs/GraphTraits.h +0 -150
  45. package/SVF-linux/svf/include/include/Graphs/GraphWriter.h +0 -380
  46. package/SVF-linux/svf/include/include/Graphs/ICFG.h +0 -331
  47. package/SVF-linux/svf/include/include/Graphs/ICFGEdge.h +0 -264
  48. package/SVF-linux/svf/include/include/Graphs/ICFGNode.h +0 -523
  49. package/SVF-linux/svf/include/include/Graphs/ICFGStat.h +0 -164
  50. package/SVF-linux/svf/include/include/Graphs/IRGraph.h +0 -243
  51. package/SVF-linux/svf/include/include/Graphs/PTACallGraph.h +0 -471
  52. package/SVF-linux/svf/include/include/Graphs/SVFG.h +0 -490
  53. package/SVF-linux/svf/include/include/Graphs/SVFGEdge.h +0 -237
  54. package/SVF-linux/svf/include/include/Graphs/SVFGNode.h +0 -513
  55. package/SVF-linux/svf/include/include/Graphs/SVFGOPT.h +0 -362
  56. package/SVF-linux/svf/include/include/Graphs/SVFGStat.h +0 -273
  57. package/SVF-linux/svf/include/include/Graphs/ThreadCallGraph.h +0 -422
  58. package/SVF-linux/svf/include/include/Graphs/VFG.h +0 -664
  59. package/SVF-linux/svf/include/include/Graphs/VFGEdge.h +0 -295
  60. package/SVF-linux/svf/include/include/Graphs/VFGNode.h +0 -1197
  61. package/SVF-linux/svf/include/include/MSSA/MSSAMuChi.h +0 -722
  62. package/SVF-linux/svf/include/include/MSSA/MemPartition.h +0 -169
  63. package/SVF-linux/svf/include/include/MSSA/MemRegion.h +0 -491
  64. package/SVF-linux/svf/include/include/MSSA/MemSSA.h +0 -452
  65. package/SVF-linux/svf/include/include/MSSA/SVFGBuilder.h +0 -98
  66. package/SVF-linux/svf/include/include/MTA/FSMPTA.h +0 -270
  67. package/SVF-linux/svf/include/include/MTA/LockAnalysis.h +0 -517
  68. package/SVF-linux/svf/include/include/MTA/MHP.h +0 -565
  69. package/SVF-linux/svf/include/include/MTA/MTA.h +0 -101
  70. package/SVF-linux/svf/include/include/MTA/MTAResultValidator.h +0 -448
  71. package/SVF-linux/svf/include/include/MTA/MTAStat.h +0 -74
  72. package/SVF-linux/svf/include/include/MTA/PCG.h +0 -229
  73. package/SVF-linux/svf/include/include/MTA/TCT.h +0 -599
  74. package/SVF-linux/svf/include/include/MemoryModel/AbstractPointsToDS.h +0 -316
  75. package/SVF-linux/svf/include/include/MemoryModel/ConditionalPT.h +0 -878
  76. package/SVF-linux/svf/include/include/MemoryModel/LocationSet.h +0 -148
  77. package/SVF-linux/svf/include/include/MemoryModel/MutablePointsToDS.h +0 -1025
  78. package/SVF-linux/svf/include/include/MemoryModel/PersistentPointsToCache.h +0 -463
  79. package/SVF-linux/svf/include/include/MemoryModel/PersistentPointsToDS.h +0 -955
  80. package/SVF-linux/svf/include/include/MemoryModel/PointerAnalysis.h +0 -452
  81. package/SVF-linux/svf/include/include/MemoryModel/PointerAnalysisImpl.h +0 -590
  82. package/SVF-linux/svf/include/include/MemoryModel/PointsTo.h +0 -255
  83. package/SVF-linux/svf/include/include/MemoryModel/SVFLoop.h +0 -164
  84. package/SVF-linux/svf/include/include/SABER/DoubleFreeChecker.h +0 -76
  85. package/SVF-linux/svf/include/include/SABER/FileChecker.h +0 -82
  86. package/SVF-linux/svf/include/include/SABER/LeakChecker.h +0 -124
  87. package/SVF-linux/svf/include/include/SABER/ProgSlice.h +0 -313
  88. package/SVF-linux/svf/include/include/SABER/SaberCheckerAPI.h +0 -166
  89. package/SVF-linux/svf/include/include/SABER/SaberCondAllocator.h +0 -310
  90. package/SVF-linux/svf/include/include/SABER/SaberSVFGBuilder.h +0 -104
  91. package/SVF-linux/svf/include/include/SABER/SrcSnkDDA.h +0 -321
  92. package/SVF-linux/svf/include/include/SABER/SrcSnkSolver.h +0 -186
  93. package/SVF-linux/svf/include/include/SVFIR/PAGBuilderFromFile.h +0 -80
  94. package/SVF-linux/svf/include/include/SVFIR/SVFIR.h +0 -659
  95. package/SVF-linux/svf/include/include/SVFIR/SVFModule.h +0 -233
  96. package/SVF-linux/svf/include/include/SVFIR/SVFStatements.h +0 -1136
  97. package/SVF-linux/svf/include/include/SVFIR/SVFType.h +0 -527
  98. package/SVF-linux/svf/include/include/SVFIR/SVFValue.h +0 -1120
  99. package/SVF-linux/svf/include/include/SVFIR/SVFVariables.h +0 -721
  100. package/SVF-linux/svf/include/include/SVFIR/SymbolTableInfo.h +0 -597
  101. package/SVF-linux/svf/include/include/Util/Annotator.h +0 -180
  102. package/SVF-linux/svf/include/include/Util/BitVector.h +0 -55
  103. package/SVF-linux/svf/include/include/Util/CallGraphBuilder.h +0 -74
  104. package/SVF-linux/svf/include/include/Util/Casting.h +0 -426
  105. package/SVF-linux/svf/include/include/Util/CommandLine.h +0 -530
  106. package/SVF-linux/svf/include/include/Util/CoreBitVector.h +0 -214
  107. package/SVF-linux/svf/include/include/Util/CppUtil.h +0 -81
  108. package/SVF-linux/svf/include/include/Util/CxtStmt.h +0 -501
  109. package/SVF-linux/svf/include/include/Util/DPItem.h +0 -618
  110. package/SVF-linux/svf/include/include/Util/ExtAPI.h +0 -339
  111. package/SVF-linux/svf/include/include/Util/ExtAPI.json +0 -5707
  112. package/SVF-linux/svf/include/include/Util/GraphReachSolver.h +0 -186
  113. package/SVF-linux/svf/include/include/Util/NodeIDAllocator.h +0 -194
  114. package/SVF-linux/svf/include/include/Util/Options.h +0 -266
  115. package/SVF-linux/svf/include/include/Util/PTAStat.h +0 -65
  116. package/SVF-linux/svf/include/include/Util/SCC.h +0 -354
  117. package/SVF-linux/svf/include/include/Util/SVFStat.h +0 -100
  118. package/SVF-linux/svf/include/include/Util/SVFUtil.h +0 -660
  119. package/SVF-linux/svf/include/include/Util/SparseBitVector.h +0 -1202
  120. package/SVF-linux/svf/include/include/Util/ThreadAPI.h +0 -330
  121. package/SVF-linux/svf/include/include/Util/WorkList.h +0 -317
  122. package/SVF-linux/svf/include/include/Util/Z3Expr.h +0 -318
  123. package/SVF-linux/svf/include/include/Util/cJSON.h +0 -300
  124. package/SVF-linux/svf/include/include/Util/iterator.h +0 -407
  125. package/SVF-linux/svf/include/include/Util/iterator_range.h +0 -76
  126. package/SVF-linux/svf/include/include/WPA/Andersen.h +0 -416
  127. package/SVF-linux/svf/include/include/WPA/AndersenPWC.h +0 -160
  128. package/SVF-linux/svf/include/include/WPA/CSC.h +0 -95
  129. package/SVF-linux/svf/include/include/WPA/FlowSensitive.h +0 -317
  130. package/SVF-linux/svf/include/include/WPA/Steensgaard.h +0 -126
  131. package/SVF-linux/svf/include/include/WPA/TypeAnalysis.h +0 -83
  132. package/SVF-linux/svf/include/include/WPA/VersionedFlowSensitive.h +0 -287
  133. package/SVF-linux/svf/include/include/WPA/WPAFSSolver.h +0 -254
  134. package/SVF-linux/svf/include/include/WPA/WPAPass.h +0 -119
  135. package/SVF-linux/svf/include/include/WPA/WPASolver.h +0 -205
  136. package/SVF-linux/svf/include/include/WPA/WPAStat.h +0 -222
  137. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/BasicTypes.h +0 -250
  138. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/BreakConstantExpr.h +0 -94
  139. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/CHGBuilder.h +0 -73
  140. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/DCHG.h +0 -484
  141. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/GEPTypeBridgeIterator.h +0 -183
  142. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/ICFGBuilder.h +0 -106
  143. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/LLVMLoopAnalysis.h +0 -61
  144. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/LLVMModule.h +0 -360
  145. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/LLVMUtil.h +0 -466
  146. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/SVFIRBuilder.h +0 -417
  147. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVF-LLVM/SymbolTableBuilder.h +0 -110
  148. package/SVF-osx/svf/include/include/AbstractExecution/AbstractValue.h +0 -79
  149. package/SVF-osx/svf/include/include/AbstractExecution/AddressValue.h +0 -210
  150. package/SVF-osx/svf/include/include/AbstractExecution/ExeState.h +0 -223
  151. package/SVF-osx/svf/include/include/AbstractExecution/IntervalExeState.h +0 -425
  152. package/SVF-osx/svf/include/include/AbstractExecution/IntervalValue.h +0 -868
  153. package/SVF-osx/svf/include/include/AbstractExecution/NumericLiteral.h +0 -406
  154. package/SVF-osx/svf/include/include/AbstractExecution/RelExeState.h +0 -225
  155. package/SVF-osx/svf/include/include/AbstractExecution/RelationSolver.h +0 -68
  156. package/SVF-osx/svf/include/include/AbstractExecution/SVFIR2ItvExeState.h +0 -186
  157. package/SVF-osx/svf/include/include/AbstractExecution/WTO.h +0 -845
  158. package/SVF-osx/svf/include/include/CFL/CFGNormalizer.h +0 -84
  159. package/SVF-osx/svf/include/include/CFL/CFLAlias.h +0 -176
  160. package/SVF-osx/svf/include/include/CFL/CFLBase.h +0 -115
  161. package/SVF-osx/svf/include/include/CFL/CFLData.h +0 -316
  162. package/SVF-osx/svf/include/include/CFL/CFLDataBuilder.h +0 -91
  163. package/SVF-osx/svf/include/include/CFL/CFLGramGraphChecker.h +0 -74
  164. package/SVF-osx/svf/include/include/CFL/CFLGrammar.h +0 -468
  165. package/SVF-osx/svf/include/include/CFL/CFLGrammar.txt +0 -15
  166. package/SVF-osx/svf/include/include/CFL/CFLGraphBuilder.h +0 -193
  167. package/SVF-osx/svf/include/include/CFL/CFLSolver.h +0 -136
  168. package/SVF-osx/svf/include/include/CFL/CFLStat.h +0 -67
  169. package/SVF-osx/svf/include/include/CFL/CFLVF.h +0 -65
  170. package/SVF-osx/svf/include/include/CFL/GrammarBuilder.h +0 -100
  171. package/SVF-osx/svf/include/include/CFL/PEGGrammar.txt +0 -11
  172. package/SVF-osx/svf/include/include/CFL/VFG.txt +0 -7
  173. package/SVF-osx/svf/include/include/DDA/ContextDDA.h +0 -230
  174. package/SVF-osx/svf/include/include/DDA/DDAClient.h +0 -168
  175. package/SVF-osx/svf/include/include/DDA/DDAPass.h +0 -99
  176. package/SVF-osx/svf/include/include/DDA/DDAStat.h +0 -138
  177. package/SVF-osx/svf/include/include/DDA/DDAVFSolver.h +0 -789
  178. package/SVF-osx/svf/include/include/DDA/FlowDDA.h +0 -178
  179. package/SVF-osx/svf/include/include/FastCluster/LICENSE.TXT +0 -13
  180. package/SVF-osx/svf/include/include/FastCluster/fastcluster.h +0 -80
  181. package/SVF-osx/svf/include/include/Graphs/CFLGraph.h +0 -215
  182. package/SVF-osx/svf/include/include/Graphs/CHG.h +0 -351
  183. package/SVF-osx/svf/include/include/Graphs/ConsG.h +0 -408
  184. package/SVF-osx/svf/include/include/Graphs/ConsGEdge.h +0 -353
  185. package/SVF-osx/svf/include/include/Graphs/ConsGNode.h +0 -391
  186. package/SVF-osx/svf/include/include/Graphs/DOTGraphTraits.h +0 -188
  187. package/SVF-osx/svf/include/include/Graphs/GenericGraph.h +0 -620
  188. package/SVF-osx/svf/include/include/Graphs/GraphPrinter.h +0 -111
  189. package/SVF-osx/svf/include/include/Graphs/GraphTraits.h +0 -150
  190. package/SVF-osx/svf/include/include/Graphs/GraphWriter.h +0 -380
  191. package/SVF-osx/svf/include/include/Graphs/ICFG.h +0 -331
  192. package/SVF-osx/svf/include/include/Graphs/ICFGEdge.h +0 -264
  193. package/SVF-osx/svf/include/include/Graphs/ICFGNode.h +0 -523
  194. package/SVF-osx/svf/include/include/Graphs/ICFGStat.h +0 -164
  195. package/SVF-osx/svf/include/include/Graphs/IRGraph.h +0 -243
  196. package/SVF-osx/svf/include/include/Graphs/PTACallGraph.h +0 -471
  197. package/SVF-osx/svf/include/include/Graphs/SVFG.h +0 -490
  198. package/SVF-osx/svf/include/include/Graphs/SVFGEdge.h +0 -237
  199. package/SVF-osx/svf/include/include/Graphs/SVFGNode.h +0 -513
  200. package/SVF-osx/svf/include/include/Graphs/SVFGOPT.h +0 -362
  201. package/SVF-osx/svf/include/include/Graphs/SVFGStat.h +0 -273
  202. package/SVF-osx/svf/include/include/Graphs/ThreadCallGraph.h +0 -422
  203. package/SVF-osx/svf/include/include/Graphs/VFG.h +0 -664
  204. package/SVF-osx/svf/include/include/Graphs/VFGEdge.h +0 -295
  205. package/SVF-osx/svf/include/include/Graphs/VFGNode.h +0 -1197
  206. package/SVF-osx/svf/include/include/MSSA/MSSAMuChi.h +0 -722
  207. package/SVF-osx/svf/include/include/MSSA/MemPartition.h +0 -169
  208. package/SVF-osx/svf/include/include/MSSA/MemRegion.h +0 -491
  209. package/SVF-osx/svf/include/include/MSSA/MemSSA.h +0 -452
  210. package/SVF-osx/svf/include/include/MSSA/SVFGBuilder.h +0 -98
  211. package/SVF-osx/svf/include/include/MTA/FSMPTA.h +0 -270
  212. package/SVF-osx/svf/include/include/MTA/LockAnalysis.h +0 -517
  213. package/SVF-osx/svf/include/include/MTA/MHP.h +0 -565
  214. package/SVF-osx/svf/include/include/MTA/MTA.h +0 -101
  215. package/SVF-osx/svf/include/include/MTA/MTAResultValidator.h +0 -448
  216. package/SVF-osx/svf/include/include/MTA/MTAStat.h +0 -74
  217. package/SVF-osx/svf/include/include/MTA/PCG.h +0 -229
  218. package/SVF-osx/svf/include/include/MTA/TCT.h +0 -599
  219. package/SVF-osx/svf/include/include/MemoryModel/AbstractPointsToDS.h +0 -316
  220. package/SVF-osx/svf/include/include/MemoryModel/ConditionalPT.h +0 -878
  221. package/SVF-osx/svf/include/include/MemoryModel/LocationSet.h +0 -148
  222. package/SVF-osx/svf/include/include/MemoryModel/MutablePointsToDS.h +0 -1025
  223. package/SVF-osx/svf/include/include/MemoryModel/PersistentPointsToCache.h +0 -463
  224. package/SVF-osx/svf/include/include/MemoryModel/PersistentPointsToDS.h +0 -955
  225. package/SVF-osx/svf/include/include/MemoryModel/PointerAnalysis.h +0 -452
  226. package/SVF-osx/svf/include/include/MemoryModel/PointerAnalysisImpl.h +0 -590
  227. package/SVF-osx/svf/include/include/MemoryModel/PointsTo.h +0 -255
  228. package/SVF-osx/svf/include/include/MemoryModel/SVFLoop.h +0 -164
  229. package/SVF-osx/svf/include/include/SABER/DoubleFreeChecker.h +0 -76
  230. package/SVF-osx/svf/include/include/SABER/FileChecker.h +0 -82
  231. package/SVF-osx/svf/include/include/SABER/LeakChecker.h +0 -124
  232. package/SVF-osx/svf/include/include/SABER/ProgSlice.h +0 -313
  233. package/SVF-osx/svf/include/include/SABER/SaberCheckerAPI.h +0 -166
  234. package/SVF-osx/svf/include/include/SABER/SaberCondAllocator.h +0 -310
  235. package/SVF-osx/svf/include/include/SABER/SaberSVFGBuilder.h +0 -104
  236. package/SVF-osx/svf/include/include/SABER/SrcSnkDDA.h +0 -321
  237. package/SVF-osx/svf/include/include/SABER/SrcSnkSolver.h +0 -186
  238. package/SVF-osx/svf/include/include/SVFIR/PAGBuilderFromFile.h +0 -80
  239. package/SVF-osx/svf/include/include/SVFIR/SVFIR.h +0 -659
  240. package/SVF-osx/svf/include/include/SVFIR/SVFModule.h +0 -233
  241. package/SVF-osx/svf/include/include/SVFIR/SVFStatements.h +0 -1136
  242. package/SVF-osx/svf/include/include/SVFIR/SVFType.h +0 -527
  243. package/SVF-osx/svf/include/include/SVFIR/SVFValue.h +0 -1120
  244. package/SVF-osx/svf/include/include/SVFIR/SVFVariables.h +0 -721
  245. package/SVF-osx/svf/include/include/SVFIR/SymbolTableInfo.h +0 -597
  246. package/SVF-osx/svf/include/include/Util/Annotator.h +0 -180
  247. package/SVF-osx/svf/include/include/Util/BitVector.h +0 -55
  248. package/SVF-osx/svf/include/include/Util/CallGraphBuilder.h +0 -74
  249. package/SVF-osx/svf/include/include/Util/Casting.h +0 -426
  250. package/SVF-osx/svf/include/include/Util/CommandLine.h +0 -530
  251. package/SVF-osx/svf/include/include/Util/CoreBitVector.h +0 -214
  252. package/SVF-osx/svf/include/include/Util/CppUtil.h +0 -81
  253. package/SVF-osx/svf/include/include/Util/CxtStmt.h +0 -501
  254. package/SVF-osx/svf/include/include/Util/DPItem.h +0 -618
  255. package/SVF-osx/svf/include/include/Util/ExtAPI.h +0 -339
  256. package/SVF-osx/svf/include/include/Util/ExtAPI.json +0 -5707
  257. package/SVF-osx/svf/include/include/Util/GraphReachSolver.h +0 -186
  258. package/SVF-osx/svf/include/include/Util/NodeIDAllocator.h +0 -194
  259. package/SVF-osx/svf/include/include/Util/Options.h +0 -266
  260. package/SVF-osx/svf/include/include/Util/PTAStat.h +0 -65
  261. package/SVF-osx/svf/include/include/Util/SCC.h +0 -354
  262. package/SVF-osx/svf/include/include/Util/SVFStat.h +0 -100
  263. package/SVF-osx/svf/include/include/Util/SVFUtil.h +0 -660
  264. package/SVF-osx/svf/include/include/Util/SparseBitVector.h +0 -1202
  265. package/SVF-osx/svf/include/include/Util/ThreadAPI.h +0 -330
  266. package/SVF-osx/svf/include/include/Util/WorkList.h +0 -317
  267. package/SVF-osx/svf/include/include/Util/Z3Expr.h +0 -318
  268. package/SVF-osx/svf/include/include/Util/cJSON.h +0 -300
  269. package/SVF-osx/svf/include/include/Util/iterator.h +0 -407
  270. package/SVF-osx/svf/include/include/Util/iterator_range.h +0 -76
  271. package/SVF-osx/svf/include/include/WPA/Andersen.h +0 -416
  272. package/SVF-osx/svf/include/include/WPA/AndersenPWC.h +0 -160
  273. package/SVF-osx/svf/include/include/WPA/CSC.h +0 -95
  274. package/SVF-osx/svf/include/include/WPA/FlowSensitive.h +0 -317
  275. package/SVF-osx/svf/include/include/WPA/Steensgaard.h +0 -126
  276. package/SVF-osx/svf/include/include/WPA/TypeAnalysis.h +0 -83
  277. package/SVF-osx/svf/include/include/WPA/VersionedFlowSensitive.h +0 -287
  278. package/SVF-osx/svf/include/include/WPA/WPAFSSolver.h +0 -254
  279. package/SVF-osx/svf/include/include/WPA/WPAPass.h +0 -119
  280. package/SVF-osx/svf/include/include/WPA/WPASolver.h +0 -205
  281. package/SVF-osx/svf/include/include/WPA/WPAStat.h +0 -222
  282. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/BasicTypes.h +0 -250
  283. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/BreakConstantExpr.h +0 -94
  284. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/CHGBuilder.h +0 -73
  285. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/DCHG.h +0 -484
  286. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/GEPTypeBridgeIterator.h +0 -183
  287. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/ICFGBuilder.h +0 -106
  288. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/LLVMLoopAnalysis.h +0 -61
  289. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/LLVMModule.h +0 -360
  290. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/LLVMUtil.h +0 -466
  291. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/SVFIRBuilder.h +0 -417
  292. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVF-LLVM/SymbolTableBuilder.h +0 -110
@@ -1,407 +0,0 @@
1
- //===- iterator.h - Utilities for using and defining iterators --*- C++ -*-===//
2
- //
3
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
- // See https://llvm.org/LICENSE.txt for license information.
5
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
- //
7
- //===----------------------------------------------------------------------===//
8
-
9
- #ifndef UTIL_ITERATOR_H
10
- #define UTIL_ITERATOR_H
11
-
12
- #include "Util/iterator_range.h"
13
- #include <cstddef>
14
- #include <iterator>
15
- #include <type_traits>
16
- #include <utility>
17
-
18
- namespace SVF
19
- {
20
-
21
- /// CRTP base class which implements the entire standard iterator facade
22
- /// in terms of a minimal subset of the interface.
23
- ///
24
- /// Use this when it is reasonable to implement most of the iterator
25
- /// functionality in terms of a core subset. If you need special behavior or
26
- /// there are performance implications for this, you may want to override the
27
- /// relevant members instead.
28
- ///
29
- /// Note, one abstraction that this does *not* provide is implementing
30
- /// subtraction in terms of addition by negating the difference. Negation isn't
31
- /// always information preserving, and I can see very reasonable iterator
32
- /// designs where this doesn't work well. It doesn't really force much added
33
- /// boilerplate anyways.
34
- ///
35
- /// Another abstraction that this doesn't provide is implementing increment in
36
- /// terms of addition of one. These aren't equivalent for all iterator
37
- /// categories, and respecting that adds a lot of complexity for little gain.
38
- ///
39
- /// Classes wishing to use `iter_facade_base` should implement the following
40
- /// methods:
41
- ///
42
- /// Forward Iterators:
43
- /// (All of the following methods)
44
- /// - DerivedT &operator=(const DerivedT &R);
45
- /// - bool operator==(const DerivedT &R) const;
46
- /// - const T &operator*() const;
47
- /// - T &operator*();
48
- /// - DerivedT &operator++();
49
- ///
50
- /// Bidirectional Iterators:
51
- /// (All methods of forward iterators, plus the following)
52
- /// - DerivedT &operator--();
53
- ///
54
- /// Random-access Iterators:
55
- /// (All methods of bidirectional iterators excluding the following)
56
- /// - DerivedT &operator++();
57
- /// - DerivedT &operator--();
58
- /// (and plus the following)
59
- /// - bool operator<(const DerivedT &RHS) const;
60
- /// - DifferenceTypeT operator-(const DerivedT &R) const;
61
- /// - DerivedT &operator+=(DifferenceTypeT N);
62
- /// - DerivedT &operator-=(DifferenceTypeT N);
63
- ///
64
- template <typename DerivedT, typename IteratorCategoryT, typename T,
65
- typename DifferenceTypeT = std::ptrdiff_t, typename PointerT = T *,
66
- typename ReferenceT = T &>
67
- class iter_facade_base
68
- {
69
- public:
70
- using iterator_category = IteratorCategoryT;
71
- using value_type = T;
72
- using difference_type = DifferenceTypeT;
73
- using pointer = PointerT;
74
- using reference = ReferenceT;
75
-
76
- protected:
77
- enum
78
- {
79
- IsRandomAccess = std::is_base_of<std::random_access_iterator_tag,
80
- IteratorCategoryT>::value,
81
- IsBidirectional = std::is_base_of<std::bidirectional_iterator_tag,
82
- IteratorCategoryT>::value,
83
- };
84
-
85
- /// A proxy object for computing a reference via indirecting a copy of an
86
- /// iterator. This is used in APIs which need to produce a reference via
87
- /// indirection but for which the iterator object might be a temporary. The
88
- /// proxy preserves the iterator internally and exposes the indirected
89
- /// reference via a conversion operator.
90
- class ReferenceProxy
91
- {
92
- friend iter_facade_base;
93
-
94
- DerivedT I;
95
-
96
- ReferenceProxy(DerivedT I) : I(std::move(I)) {}
97
-
98
- public:
99
- operator ReferenceT() const
100
- {
101
- return *I;
102
- }
103
- };
104
-
105
- public:
106
- DerivedT operator+(DifferenceTypeT n) const
107
- {
108
- static_assert(std::is_base_of<iter_facade_base, DerivedT>::value,
109
- "Must pass the derived type to this template!");
110
- static_assert(
111
- IsRandomAccess,
112
- "The '+' operator is only defined for random access iterators.");
113
- DerivedT tmp = *static_cast<const DerivedT *>(this);
114
- tmp += n;
115
- return tmp;
116
- }
117
- friend DerivedT operator+(DifferenceTypeT n, const DerivedT &i)
118
- {
119
- static_assert(
120
- IsRandomAccess,
121
- "The '+' operator is only defined for random access iterators.");
122
- return i + n;
123
- }
124
- DerivedT operator-(DifferenceTypeT n) const
125
- {
126
- static_assert(
127
- IsRandomAccess,
128
- "The '-' operator is only defined for random access iterators.");
129
- DerivedT tmp = *static_cast<const DerivedT *>(this);
130
- tmp -= n;
131
- return tmp;
132
- }
133
-
134
- DerivedT &operator++()
135
- {
136
- static_assert(std::is_base_of<iter_facade_base, DerivedT>::value,
137
- "Must pass the derived type to this template!");
138
- return static_cast<DerivedT *>(this)->operator+=(1);
139
- }
140
- DerivedT operator++(int)
141
- {
142
- DerivedT tmp = *static_cast<DerivedT *>(this);
143
- ++*static_cast<DerivedT *>(this);
144
- return tmp;
145
- }
146
- DerivedT &operator--()
147
- {
148
- static_assert(
149
- IsBidirectional,
150
- "The decrement operator is only defined for bidirectional iterators.");
151
- return static_cast<DerivedT *>(this)->operator-=(1);
152
- }
153
- DerivedT operator--(int)
154
- {
155
- static_assert(
156
- IsBidirectional,
157
- "The decrement operator is only defined for bidirectional iterators.");
158
- DerivedT tmp = *static_cast<DerivedT *>(this);
159
- --*static_cast<DerivedT *>(this);
160
- return tmp;
161
- }
162
-
163
- #ifndef __cpp_impl_three_way_comparison
164
- bool operator!=(const DerivedT &RHS) const
165
- {
166
- return !(static_cast<const DerivedT &>(*this) == RHS);
167
- }
168
- #endif
169
-
170
- bool operator>(const DerivedT &RHS) const
171
- {
172
- static_assert(
173
- IsRandomAccess,
174
- "Relational operators are only defined for random access iterators.");
175
- return !(static_cast<const DerivedT &>(*this) < RHS) &&
176
- !(static_cast<const DerivedT &>(*this) == RHS);
177
- }
178
- bool operator<=(const DerivedT &RHS) const
179
- {
180
- static_assert(
181
- IsRandomAccess,
182
- "Relational operators are only defined for random access iterators.");
183
- return !(static_cast<const DerivedT &>(*this) > RHS);
184
- }
185
- bool operator>=(const DerivedT &RHS) const
186
- {
187
- static_assert(
188
- IsRandomAccess,
189
- "Relational operators are only defined for random access iterators.");
190
- return !(static_cast<const DerivedT &>(*this) < RHS);
191
- }
192
-
193
- PointerT operator->()
194
- {
195
- return &static_cast<DerivedT *>(this)->operator*();
196
- }
197
- PointerT operator->() const
198
- {
199
- return &static_cast<const DerivedT *>(this)->operator*();
200
- }
201
- ReferenceProxy operator[](DifferenceTypeT n)
202
- {
203
- static_assert(IsRandomAccess,
204
- "Subscripting is only defined for random access iterators.");
205
- return ReferenceProxy(static_cast<DerivedT *>(this)->operator+(n));
206
- }
207
- ReferenceProxy operator[](DifferenceTypeT n) const
208
- {
209
- static_assert(IsRandomAccess,
210
- "Subscripting is only defined for random access iterators.");
211
- return ReferenceProxy(static_cast<const DerivedT *>(this)->operator+(n));
212
- }
213
- };
214
-
215
- /// CRTP base class for adapting an iterator to a different type.
216
- ///
217
- /// This class can be used through CRTP to adapt one iterator into another.
218
- /// Typically this is done through providing in the derived class a custom \c
219
- /// operator* implementation. Other methods can be overridden as well.
220
- template <
221
- typename DerivedT, typename WrappedIteratorT,
222
- typename IteratorCategoryT =
223
- typename std::iterator_traits<WrappedIteratorT>::iterator_category,
224
- typename T = typename std::iterator_traits<WrappedIteratorT>::value_type,
225
- typename DifferenceTypeT =
226
- typename std::iterator_traits<WrappedIteratorT>::difference_type,
227
- typename PointerT = std::conditional_t<
228
- std::is_same<T, typename std::iterator_traits<
229
- WrappedIteratorT>::value_type>::value,
230
- typename std::iterator_traits<WrappedIteratorT>::pointer, T *>,
231
- typename ReferenceT = std::conditional_t<
232
- std::is_same<T, typename std::iterator_traits<
233
- WrappedIteratorT>::value_type>::value,
234
- typename std::iterator_traits<WrappedIteratorT>::reference, T &>>
235
- class iter_adaptor_base
236
- : public iter_facade_base<DerivedT, IteratorCategoryT, T,
237
- DifferenceTypeT, PointerT, ReferenceT>
238
- {
239
- using BaseT = typename iter_adaptor_base::iter_facade_base;
240
-
241
- protected:
242
- WrappedIteratorT I;
243
-
244
- iter_adaptor_base() = default;
245
-
246
- explicit iter_adaptor_base(WrappedIteratorT u) : I(std::move(u))
247
- {
248
- static_assert(std::is_base_of<iter_adaptor_base, DerivedT>::value,
249
- "Must pass the derived type to this template!");
250
- }
251
-
252
- const WrappedIteratorT &wrapped() const
253
- {
254
- return I;
255
- }
256
-
257
- public:
258
- using difference_type = DifferenceTypeT;
259
-
260
- DerivedT &operator+=(difference_type n)
261
- {
262
- static_assert(
263
- BaseT::IsRandomAccess,
264
- "The '+=' operator is only defined for random access iterators.");
265
- I += n;
266
- return *static_cast<DerivedT *>(this);
267
- }
268
- DerivedT &operator-=(difference_type n)
269
- {
270
- static_assert(
271
- BaseT::IsRandomAccess,
272
- "The '-=' operator is only defined for random access iterators.");
273
- I -= n;
274
- return *static_cast<DerivedT *>(this);
275
- }
276
- using BaseT::operator-;
277
- difference_type operator-(const DerivedT &RHS) const
278
- {
279
- static_assert(
280
- BaseT::IsRandomAccess,
281
- "The '-' operator is only defined for random access iterators.");
282
- return I - RHS.I;
283
- }
284
-
285
- // We have to explicitly provide ++ and -- rather than letting the facade
286
- // forward to += because WrappedIteratorT might not support +=.
287
- using BaseT::operator++;
288
- DerivedT &operator++()
289
- {
290
- ++I;
291
- return *static_cast<DerivedT *>(this);
292
- }
293
- using BaseT::operator--;
294
- DerivedT &operator--()
295
- {
296
- static_assert(
297
- BaseT::IsBidirectional,
298
- "The decrement operator is only defined for bidirectional iterators.");
299
- --I;
300
- return *static_cast<DerivedT *>(this);
301
- }
302
-
303
- friend bool operator==(const iter_adaptor_base &LHS,
304
- const iter_adaptor_base &RHS)
305
- {
306
- return LHS.I == RHS.I;
307
- }
308
- friend bool operator<(const iter_adaptor_base &LHS,
309
- const iter_adaptor_base &RHS)
310
- {
311
- static_assert(
312
- BaseT::IsRandomAccess,
313
- "Relational operators are only defined for random access iterators.");
314
- return LHS.I < RHS.I;
315
- }
316
-
317
- ReferenceT operator*() const
318
- {
319
- return *I;
320
- }
321
- };
322
-
323
- /// An iterator type that allows iterating over the pointees via some
324
- /// other iterator.
325
- ///
326
- /// The typical usage of this is to expose a type that iterates over Ts, but
327
- /// which is implemented with some iterator over T*s:
328
- ///
329
- /// \code
330
- /// using iterator = pointee_iter<SmallVectorImpl<T *>::iterator>;
331
- /// \endcode
332
- template <typename WrappedIteratorT,
333
- typename T = std::remove_reference_t<decltype(
334
- **std::declval<WrappedIteratorT>())>>
335
- struct pointee_iter
336
- : iter_adaptor_base<
337
- pointee_iter<WrappedIteratorT, T>, WrappedIteratorT,
338
- typename std::iterator_traits<WrappedIteratorT>::iterator_category,
339
- T>
340
- {
341
- pointee_iter() = default;
342
- template <typename U>
343
- pointee_iter(U &&u)
344
- : pointee_iter::iter_adaptor_base(std::forward<U &&>(u)) {}
345
-
346
- T &operator*() const
347
- {
348
- return **this->I;
349
- }
350
- };
351
-
352
- template <typename RangeT, typename WrappedIteratorT =
353
- decltype(std::begin(std::declval<RangeT>()))>
354
- iter_range<pointee_iter<WrappedIteratorT>>
355
- make_pointee_range(RangeT &&Range)
356
- {
357
- using PointeeIteratorT = pointee_iter<WrappedIteratorT>;
358
- return make_range(PointeeIteratorT(std::begin(std::forward<RangeT>(Range))),
359
- PointeeIteratorT(std::end(std::forward<RangeT>(Range))));
360
- }
361
-
362
- template <typename WrappedIteratorT,
363
- typename T = decltype(&*std::declval<WrappedIteratorT>())>
364
- class pointer_iterator
365
- : public iter_adaptor_base<
366
- pointer_iterator<WrappedIteratorT, T>, WrappedIteratorT,
367
- typename std::iterator_traits<WrappedIteratorT>::iterator_category,
368
- T>
369
- {
370
- mutable T Ptr;
371
-
372
- public:
373
- pointer_iterator() = default;
374
-
375
- explicit pointer_iterator(WrappedIteratorT u)
376
- : pointer_iterator::iter_adaptor_base(std::move(u)) {}
377
-
378
- T &operator*()
379
- {
380
- return Ptr = &*this->I;
381
- }
382
- const T &operator*() const
383
- {
384
- return Ptr = &*this->I;
385
- }
386
- };
387
-
388
- template <typename RangeT, typename WrappedIteratorT =
389
- decltype(std::begin(std::declval<RangeT>()))>
390
- iter_range<pointer_iterator<WrappedIteratorT>>
391
- make_pointer_range(RangeT &&Range)
392
- {
393
- using PointerIteratorT = pointer_iterator<WrappedIteratorT>;
394
- return make_range(PointerIteratorT(std::begin(std::forward<RangeT>(Range))),
395
- PointerIteratorT(std::end(std::forward<RangeT>(Range))));
396
- }
397
-
398
- template <typename WrappedIteratorT,
399
- typename T1 = std::remove_reference_t<decltype(
400
- **std::declval<WrappedIteratorT>())>,
401
- typename T2 = std::add_pointer_t<T1>>
402
- using raw_pointer_iterator =
403
- pointer_iterator<pointee_iter<WrappedIteratorT, T1>, T2>;
404
-
405
- } // end namespace llvm
406
-
407
- #endif // LLVM_ADT_ITERATOR_H
@@ -1,76 +0,0 @@
1
- //===- iter_range.h - A range adaptor for iterators ---------*- 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
- /// \file
9
- /// This provides a very simple, boring adaptor for a begin and end iterator
10
- /// into a range type. This should be used to build range views that work well
11
- /// with range based for loops and range based constructors.
12
- ///
13
- /// Note that code here follows more standards-based coding conventions as it
14
- /// is mirroring proposed interfaces for standardization.
15
- ///
16
- //===----------------------------------------------------------------------===//
17
-
18
- #ifndef UTIL_ITERATOR_RANGE_H
19
- #define UTIL_ITERATOR_RANGE_H
20
-
21
- #include <utility>
22
-
23
- namespace SVF
24
- {
25
-
26
- /// A range adaptor for a pair of iterators.
27
- ///
28
- /// This just wraps two iterators into a range-compatible interface. Nothing
29
- /// fancy at all.
30
- template <typename IteratorT>
31
- class iter_range
32
- {
33
- IteratorT begin_iterator, end_iterator;
34
-
35
- public:
36
- //TODO: Add SFINAE to test that the Container's iterators match the range's
37
- // iterators.
38
- template <typename Container>
39
- iter_range(Container &&c)
40
- //TODO: Consider ADL/non-member begin/end calls.
41
- : begin_iterator(c.begin()), end_iterator(c.end()) {}
42
- iter_range(IteratorT begin_iterator, IteratorT end_iterator)
43
- : begin_iterator(std::move(begin_iterator)),
44
- end_iterator(std::move(end_iterator)) {}
45
-
46
- IteratorT begin() const
47
- {
48
- return begin_iterator;
49
- }
50
- IteratorT end() const
51
- {
52
- return end_iterator;
53
- }
54
- bool empty() const
55
- {
56
- return begin_iterator == end_iterator;
57
- }
58
- };
59
-
60
- /// Convenience function for iterating over sub-ranges.
61
- ///
62
- /// This provides a bit of syntactic sugar to make using sub-ranges
63
- /// in for loops a bit easier. Analogous to std::make_pair().
64
- template <class T> iter_range<T> make_range(T x, T y)
65
- {
66
- return iter_range<T>(std::move(x), std::move(y));
67
- }
68
-
69
- template <typename T> iter_range<T> make_range(std::pair<T, T> p)
70
- {
71
- return iter_range<T>(std::move(p.first), std::move(p.second));
72
- }
73
-
74
- }
75
-
76
- #endif