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,466 +0,0 @@
1
- //===- LLVMUtil.h -- Analysis helper functions----------------------------//
2
- //
3
- // SVF: Static Value-Flow Analysis
4
- //
5
- // Copyright (C) <2013-> <Yulei Sui>
6
- //
7
-
8
- // This program is free software: you can redistribute it and/or modify
9
- // it under the terms of the GNU General Public License as published by
10
- // the Free Software Foundation, either version 3 of the License, or
11
- // (at your option) any later version.
12
-
13
- // This program is distributed in the hope that it will be useful,
14
- // but WITHOUT ANY WARRANTY; without even the implied warranty of
15
- // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16
- // GNU General Public License for more details.
17
-
18
- // You should have received a copy of the GNU General Public License
19
- // along with this program. If not, see <http://www.gnu.org/licenses/>.
20
- //
21
- //===----------------------------------------------------------------------===//
22
-
23
- /*
24
- * LLVMUtil.h
25
- *
26
- * Created on: Apr 11, 2013
27
- * Author: Yulei Sui
28
- */
29
-
30
- #ifndef INCLUDE_SVF_FE_LLVMUTIL_H_
31
- #define INCLUDE_SVF_FE_LLVMUTIL_H_
32
-
33
- #include "Util/SVFUtil.h"
34
- #include "SVF-LLVM/BasicTypes.h"
35
- #include "SVF-LLVM/LLVMModule.h"
36
- #include "SVFIR/SVFValue.h"
37
- #include "Util/ExtAPI.h"
38
- #include "Util/ThreadAPI.h"
39
-
40
- namespace SVF
41
- {
42
-
43
- namespace LLVMUtil
44
- {
45
-
46
- /// Whether an instruction is a call or invoke instruction
47
- inline bool isCallSite(const Instruction* inst)
48
- {
49
- return SVFUtil::isa<CallBase>(inst);
50
- }
51
- /// Whether an instruction is a call or invoke instruction
52
- inline bool isCallSite(const Value* val)
53
- {
54
- return SVFUtil::isa<CallBase>(val);
55
- }
56
-
57
- /// Get the definition of a function across multiple modules
58
- inline const Function* getDefFunForMultipleModule(const Function* fun)
59
- {
60
- if (fun == nullptr)
61
- return nullptr;
62
- LLVMModuleSet* llvmModuleset = LLVMModuleSet::getLLVMModuleSet();
63
- if (fun->isDeclaration() && llvmModuleset->hasDefinition(fun))
64
- fun = LLVMModuleSet::getLLVMModuleSet()->getDefinition(fun);
65
- return fun;
66
- }
67
-
68
- /// Return LLVM callsite given a value
69
- inline const CallBase* getLLVMCallSite(const Value* value)
70
- {
71
- assert(isCallSite(value) && "not a callsite?");
72
- return SVFUtil::cast<CallBase>(value);
73
- }
74
-
75
- inline const Function* getCallee(const CallBase* cs)
76
- {
77
- // FIXME: do we need to strip-off the casts here to discover more library functions
78
- const Function* callee = SVFUtil::dyn_cast<Function>(cs->getCalledOperand()->stripPointerCasts());
79
- return callee ? getDefFunForMultipleModule(callee) : nullptr;
80
- }
81
-
82
- /// Return LLVM function if this value is
83
- inline const Function* getLLVMFunction(const Value* val)
84
- {
85
- return SVFUtil::dyn_cast<Function>(val->stripPointerCasts());
86
- }
87
-
88
- /// Get program entry function from module.
89
- inline const Function* getProgFunction(const std::string& funName)
90
- {
91
- for (const Module& M : LLVMModuleSet::getLLVMModuleSet()->getLLVMModules())
92
- {
93
- for (const Function& fun : M)
94
- {
95
- if (fun.getName() == funName)
96
- return &fun;
97
- }
98
- }
99
- return nullptr;
100
- }
101
-
102
- /// Check whether a function is an entry function (i.e., main)
103
- inline bool isProgEntryFunction(const Function* fun)
104
- {
105
- return fun && fun->getName() == "main";
106
- }
107
-
108
- /// Check whether this value is a black hole
109
- inline bool isBlackholeSym(const Value* val)
110
- {
111
- return SVFUtil::isa<UndefValue>(val);
112
- }
113
-
114
- /// Check whether this value is a black hole
115
- inline bool isNullPtrSym(const Value* val)
116
- {
117
- return SVFUtil::dyn_cast<ConstantPointerNull>(val);
118
- }
119
-
120
- static inline Type* getPtrElementType(const PointerType* pty)
121
- {
122
- #if (LLVM_VERSION_MAJOR < 14)
123
- return pty->getElementType();
124
- #else
125
- assert(!pty->isOpaque() && "Opaque Pointer is used, please recompile the source adding '-Xclang -no-opaque-pointers'");
126
- return pty->getNonOpaquePointerElementType();
127
- #endif
128
- }
129
-
130
- /// Get the reference type of heap/static object from an allocation site.
131
- //@{
132
- inline const PointerType *getRefTypeOfHeapAllocOrStatic(const CallBase* cs)
133
- {
134
- const PointerType *refType = nullptr;
135
- const SVFInstruction* svfcall = LLVMModuleSet::getLLVMModuleSet()->getSVFInstruction(cs);
136
- CallSite svfcs = SVFUtil::getSVFCallSite(svfcall);
137
- // Case 1: heap object held by *argument, we should get its element type.
138
- if (SVFUtil::isHeapAllocExtCallViaArg(svfcs))
139
- {
140
- int argPos = SVFUtil::getHeapAllocHoldingArgPosition(svfcs);
141
- const Value* arg = cs->getArgOperand(argPos);
142
- if (const PointerType *argType = SVFUtil::dyn_cast<PointerType>(arg->getType()))
143
- refType = SVFUtil::dyn_cast<PointerType>(getPtrElementType(argType));
144
- }
145
- // Case 2: heap/static object held by return value.
146
- else
147
- {
148
- assert((SVFUtil::isStaticExtCall(svfcs) || SVFUtil::isHeapAllocExtCallViaRet(svfcs))
149
- && "Must be heap alloc via ret, or static allocation site");
150
- refType = SVFUtil::dyn_cast<PointerType>(cs->getType());
151
- }
152
- assert(refType && "Allocated object must be held by a pointer-typed value.");
153
- return refType;
154
- }
155
-
156
- inline const PointerType *getRefTypeOfHeapAllocOrStatic(const Instruction* inst)
157
- {
158
- const CallBase* cs = getLLVMCallSite(inst);
159
- return getRefTypeOfHeapAllocOrStatic(cs);
160
- }
161
- //@}
162
-
163
- /// Return true if this value refers to a object
164
- bool isObject(const Value* ref);
165
-
166
- /// Method for dead function, which does not have any possible caller
167
- /// function address is not taken and never be used in call or invoke instruction
168
- //@{
169
- /// whether this is a function without any possible caller?
170
- bool isUncalledFunction(const Function* fun);
171
-
172
- /// whether this is an argument in dead function
173
- inline bool ArgInDeadFunction(const Value* val)
174
- {
175
- return SVFUtil::isa<Argument>(val)
176
- && isUncalledFunction(SVFUtil::cast<Argument>(val)->getParent());
177
- }
178
- //@}
179
-
180
- /// Return true if this is an argument of a program entry function (e.g. main)
181
- inline bool ArgInProgEntryFunction(const Value* val)
182
- {
183
- return SVFUtil::isa<Argument>(val) &&
184
- LLVMUtil::isProgEntryFunction(
185
- SVFUtil::cast<Argument>(val)->getParent());
186
- }
187
- /// Return true if this is value in a dead function (function without any caller)
188
- bool isPtrInUncalledFunction(const Value* value);
189
- //@}
190
-
191
- //@}
192
-
193
- /// Function does not have any possible caller in the call graph
194
- //@{
195
- /// Return true if the function does not have a caller (either it is a main function or a dead function)
196
- inline bool isNoCallerFunction(const Function* fun)
197
- {
198
- return isUncalledFunction(fun) || LLVMUtil::isProgEntryFunction(fun);
199
- }
200
-
201
- /// Return true if the argument in a function does not have a caller
202
- inline bool isArgOfUncalledFunction (const Value* val)
203
- {
204
- return SVFUtil::isa<Argument>(val)
205
- && isNoCallerFunction(SVFUtil::cast<Argument>(val)->getParent());
206
- }
207
- //@}
208
-
209
- /// Return true if the function has a return instruction reachable from function
210
- /// entry
211
- bool functionDoesNotRet(const Function* fun);
212
-
213
- /// Get reachable basic block from function entry
214
- void getFunReachableBBs(const Function* svfFun,
215
- std::vector<const SVFBasicBlock*>& bbs);
216
-
217
- /// Strip off the constant casts
218
- const Value* stripConstantCasts(const Value* val);
219
-
220
- /// Strip off the all casts
221
- const Value* stripAllCasts(const Value* val);
222
-
223
- /// Get the type of the heap allocation
224
- const Type* getTypeOfHeapAlloc(const Instruction* inst);
225
-
226
- /// Return the bitcast instruction which is val's only use site, otherwise
227
- /// return nullptr
228
- const Value* getUniqueUseViaCastInst(const Value* val);
229
-
230
- /// Return corresponding constant expression, otherwise return nullptr
231
- //@{
232
- inline const ConstantExpr* isGepConstantExpr(const Value* val)
233
- {
234
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
235
- {
236
- if (constExpr->getOpcode() == Instruction::GetElementPtr)
237
- return constExpr;
238
- }
239
- return nullptr;
240
- }
241
-
242
- inline const ConstantExpr* isInt2PtrConstantExpr(const Value* val)
243
- {
244
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
245
- {
246
- if (constExpr->getOpcode() == Instruction::IntToPtr)
247
- return constExpr;
248
- }
249
- return nullptr;
250
- }
251
-
252
- inline const ConstantExpr* isPtr2IntConstantExpr(const Value* val)
253
- {
254
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
255
- {
256
- if (constExpr->getOpcode() == Instruction::PtrToInt)
257
- return constExpr;
258
- }
259
- return nullptr;
260
- }
261
-
262
- inline const ConstantExpr* isCastConstantExpr(const Value* val)
263
- {
264
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
265
- {
266
- if (constExpr->getOpcode() == Instruction::BitCast)
267
- return constExpr;
268
- }
269
- return nullptr;
270
- }
271
-
272
- inline const ConstantExpr* isSelectConstantExpr(const Value* val)
273
- {
274
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
275
- {
276
- if (constExpr->getOpcode() == Instruction::Select)
277
- return constExpr;
278
- }
279
- return nullptr;
280
- }
281
-
282
- inline const ConstantExpr* isTruncConstantExpr(const Value* val)
283
- {
284
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
285
- {
286
- if (constExpr->getOpcode() == Instruction::Trunc ||
287
- constExpr->getOpcode() == Instruction::FPTrunc ||
288
- constExpr->getOpcode() == Instruction::ZExt ||
289
- constExpr->getOpcode() == Instruction::SExt ||
290
- constExpr->getOpcode() == Instruction::FPExt)
291
- return constExpr;
292
- }
293
- return nullptr;
294
- }
295
-
296
- inline const ConstantExpr* isCmpConstantExpr(const Value* val)
297
- {
298
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
299
- {
300
- if (constExpr->getOpcode() == Instruction::ICmp ||
301
- constExpr->getOpcode() == Instruction::FCmp)
302
- return constExpr;
303
- }
304
- return nullptr;
305
- }
306
-
307
- inline const ConstantExpr* isBinaryConstantExpr(const Value* val)
308
- {
309
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
310
- {
311
- if ((constExpr->getOpcode() >= Instruction::BinaryOpsBegin) &&
312
- (constExpr->getOpcode() <= Instruction::BinaryOpsEnd))
313
- return constExpr;
314
- }
315
- return nullptr;
316
- }
317
-
318
- inline const ConstantExpr* isUnaryConstantExpr(const Value* val)
319
- {
320
- if (const ConstantExpr* constExpr = SVFUtil::dyn_cast<ConstantExpr>(val))
321
- {
322
- if ((constExpr->getOpcode() >= Instruction::UnaryOpsBegin) &&
323
- (constExpr->getOpcode() <= Instruction::UnaryOpsEnd))
324
- return constExpr;
325
- }
326
- return nullptr;
327
- }
328
- //@}
329
-
330
- inline static DataLayout* getDataLayout(Module* mod)
331
- {
332
- static DataLayout *dl = nullptr;
333
- if (dl == nullptr)
334
- dl = new DataLayout(mod);
335
- return dl;
336
- }
337
-
338
- /// Get the next instructions following control flow
339
- void getNextInsts(const Instruction* curInst,
340
- std::vector<const SVFInstruction*>& instList);
341
-
342
- /// Get the previous instructions following control flow
343
- void getPrevInsts(const Instruction* curInst,
344
- std::vector<const SVFInstruction*>& instList);
345
-
346
- /// Get the next instructions following control flow
347
- void getNextInsts(const Instruction* curInst,
348
- std::vector<const Instruction*>& instList);
349
-
350
- /// Get the previous instructions following control flow
351
- void getPrevInsts(const Instruction* curInst,
352
- std::vector<const Instruction*>& instList);
353
-
354
- /// Get num of BB's predecessors
355
- u32_t getBBPredecessorNum(const BasicBlock* BB);
356
-
357
- /// Check whether a file is an LLVM IR file
358
- bool isIRFile(const std::string& filename);
359
-
360
- /// Parse argument for multi-module analysis
361
- void processArguments(int argc, char** argv, int& arg_num, char** arg_value,
362
- std::vector<std::string>& moduleNameVec);
363
-
364
- /// Helper method to get the size of the type from target data layout
365
- //@{
366
- u32_t getTypeSizeInBytes(const Type* type);
367
- u32_t getTypeSizeInBytes(const StructType* sty, u32_t field_index);
368
- //@}
369
-
370
- const std::string getSourceLoc(const Value* val);
371
- const std::string getSourceLocOfFunction(const Function* F);
372
-
373
- bool isIntrinsicInst(const Instruction* inst);
374
- bool isIntrinsicFun(const Function* func);
375
-
376
- /// Get the corresponding Function based on its name
377
- inline const SVFFunction* getFunction(const std::string& name)
378
- {
379
- return LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(name);
380
- }
381
-
382
- /// Return true if the value refers to constant data, e.g., i32 0
383
- inline bool isConstDataOrAggData(const Value* val)
384
- {
385
- return SVFUtil::isa<ConstantData, ConstantAggregate,
386
- MetadataAsValue, BlockAddress>(val);
387
- }
388
-
389
- /// find the unique defined global across multiple modules
390
- inline const Value* getGlobalRep(const Value* val)
391
- {
392
- if (const GlobalVariable* gvar = SVFUtil::dyn_cast<GlobalVariable>(val))
393
- {
394
- if (LLVMModuleSet::getLLVMModuleSet()->hasGlobalRep(gvar))
395
- val = LLVMModuleSet::getLLVMModuleSet()->getGlobalRep(gvar);
396
- }
397
- return val;
398
- }
399
-
400
- /// Check whether this value points-to a constant object
401
- bool isConstantObjSym(const SVFValue* val);
402
-
403
- /// Check whether this value points-to a constant object
404
- bool isConstantObjSym(const Value* val);
405
-
406
- // Dump Control Flow Graph of llvm function, with instructions
407
- void viewCFG(const Function* fun);
408
-
409
- // Dump Control Flow Graph of llvm function, without instructions
410
- void viewCFGOnly(const Function* fun);
411
-
412
- bool isValVtbl(const Value* val);
413
- bool isLoadVtblInst(const LoadInst* loadInst);
414
- bool isVirtualCallSite(const CallBase* cs);
415
- bool isConstructor(const Function* F);
416
- bool isDestructor(const Function* F);
417
- bool isCPPThunkFunction(const Function* F);
418
- const Function* getThunkTarget(const Function* F);
419
-
420
- /*
421
- * VtableA = {&A::foo}
422
- * A::A(this){
423
- * *this = &VtableA;
424
- * }
425
- *
426
- *
427
- * A* p = new A;
428
- * cs: p->foo(...)
429
- * ==>
430
- * vtptr = *p;
431
- * vfn = &vtptr[i]
432
- * %funp = *vfn
433
- * call %funp(p,...)
434
- * getConstructorThisPtr(A) return "this" pointer
435
- * getVCallThisPtr(cs) return p (this pointer)
436
- * getVCallVtblPtr(cs) return vtptr
437
- * getVCallIdx(cs) return i
438
- * getClassNameFromVtblObj(VtableA) return
439
- * getClassNameFromType(type of p) return type A
440
- */
441
- const Argument* getConstructorThisPtr(const Function* fun);
442
- const Value* getVCallThisPtr(const CallBase* cs);
443
- const Value* getVCallVtblPtr(const CallBase* cs);
444
- s32_t getVCallIdx(const CallBase* cs);
445
- std::string getClassNameFromType(const Type* ty);
446
- std::string getClassNameOfThisPtr(const CallBase* cs);
447
- std::string getFunNameOfVCallSite(const CallBase* cs);
448
- bool VCallInCtorOrDtor(const CallBase* cs);
449
-
450
- /*
451
- * A(A* this){
452
- * store this this.addr;
453
- * tmp = load this.addr;
454
- * this1 = bitcast(tmp);
455
- * B(this1);
456
- * }
457
- * this and this1 are the same thisPtr in the constructor
458
- */
459
- bool isSameThisPtrInConstructor(const Argument* thisPtr1,
460
- const Value* thisPtr2);
461
-
462
- } // End namespace LLVMUtil
463
-
464
- } // End namespace SVF
465
-
466
- #endif /* INCLUDE_SVF_FE_LLVMUTIL_H_ */