svf-lib 1.0.2330 → 1.0.2332

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 (326) hide show
  1. package/llvm_install.sh +8 -8
  2. package/package.json +1 -1
  3. /package/SVF-linux-aarch64/{Release-build/bin → bin}/ae +0 -0
  4. /package/SVF-linux-aarch64/{Release-build/bin → bin}/cfl +0 -0
  5. /package/SVF-linux-aarch64/{Release-build/bin → bin}/dvf +0 -0
  6. /package/SVF-linux-aarch64/{Release-build/bin → bin}/llvm2svf +0 -0
  7. /package/SVF-linux-aarch64/{Release-build/bin → bin}/mta +0 -0
  8. /package/SVF-linux-aarch64/{Release-build/bin → bin}/saber +0 -0
  9. /package/SVF-linux-aarch64/{Release-build/bin → bin}/svf-ex +0 -0
  10. /package/SVF-linux-aarch64/{Release-build/bin → bin}/wpa +0 -0
  11. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Core/AbstractState.h +0 -0
  12. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Core/AbstractValue.h +0 -0
  13. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Core/AddressValue.h +0 -0
  14. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Core/ICFGWTO.h +0 -0
  15. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Core/IntervalValue.h +0 -0
  16. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Core/NumericValue.h +0 -0
  17. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Core/RelExeState.h +0 -0
  18. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Core/RelationSolver.h +0 -0
  19. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Svfexe/AEDetector.h +0 -0
  20. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Svfexe/AbsExtAPI.h +0 -0
  21. /package/SVF-linux-aarch64/{Release-build/include → include}/AE/Svfexe/AbstractInterpretation.h +0 -0
  22. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFGNormalizer.h +0 -0
  23. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFGrammar.h +0 -0
  24. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFLAlias.h +0 -0
  25. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFLBase.h +0 -0
  26. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFLGramGraphChecker.h +0 -0
  27. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFLGraphBuilder.h +0 -0
  28. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFLSVFGBuilder.h +0 -0
  29. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFLSolver.h +0 -0
  30. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFLStat.h +0 -0
  31. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/CFLVF.h +0 -0
  32. /package/SVF-linux-aarch64/{Release-build/include → include}/CFL/GrammarBuilder.h +0 -0
  33. /package/SVF-linux-aarch64/{Release-build/include → include}/DDA/ContextDDA.h +0 -0
  34. /package/SVF-linux-aarch64/{Release-build/include → include}/DDA/DDAClient.h +0 -0
  35. /package/SVF-linux-aarch64/{Release-build/include → include}/DDA/DDAPass.h +0 -0
  36. /package/SVF-linux-aarch64/{Release-build/include → include}/DDA/DDAStat.h +0 -0
  37. /package/SVF-linux-aarch64/{Release-build/include → include}/DDA/DDAVFSolver.h +0 -0
  38. /package/SVF-linux-aarch64/{Release-build/include → include}/DDA/FlowDDA.h +0 -0
  39. /package/SVF-linux-aarch64/{Release-build/include → include}/FastCluster/fastcluster.h +0 -0
  40. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/BasicBlockG.h +0 -0
  41. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/CDG.h +0 -0
  42. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/CFLGraph.h +0 -0
  43. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/CHG.h +0 -0
  44. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/CallGraph.h +0 -0
  45. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/ConsG.h +0 -0
  46. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/ConsGEdge.h +0 -0
  47. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/ConsGNode.h +0 -0
  48. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/DOTGraphTraits.h +0 -0
  49. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/GenericGraph.h +0 -0
  50. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/GraphPrinter.h +0 -0
  51. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/GraphTraits.h +0 -0
  52. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/GraphWriter.h +0 -0
  53. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/ICFG.h +0 -0
  54. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/ICFGEdge.h +0 -0
  55. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/ICFGNode.h +0 -0
  56. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/ICFGStat.h +0 -0
  57. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/IRGraph.h +0 -0
  58. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/SCC.h +0 -0
  59. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/SVFG.h +0 -0
  60. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/SVFGEdge.h +0 -0
  61. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/SVFGNode.h +0 -0
  62. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/SVFGOPT.h +0 -0
  63. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/SVFGStat.h +0 -0
  64. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/ThreadCallGraph.h +0 -0
  65. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/VFG.h +0 -0
  66. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/VFGEdge.h +0 -0
  67. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/VFGNode.h +0 -0
  68. /package/SVF-linux-aarch64/{Release-build/include → include}/Graphs/WTO.h +0 -0
  69. /package/SVF-linux-aarch64/{Release-build/include → include}/MSSA/MSSAMuChi.h +0 -0
  70. /package/SVF-linux-aarch64/{Release-build/include → include}/MSSA/MemPartition.h +0 -0
  71. /package/SVF-linux-aarch64/{Release-build/include → include}/MSSA/MemRegion.h +0 -0
  72. /package/SVF-linux-aarch64/{Release-build/include → include}/MSSA/MemSSA.h +0 -0
  73. /package/SVF-linux-aarch64/{Release-build/include → include}/MSSA/SVFGBuilder.h +0 -0
  74. /package/SVF-linux-aarch64/{Release-build/include → include}/MTA/LockAnalysis.h +0 -0
  75. /package/SVF-linux-aarch64/{Release-build/include → include}/MTA/MHP.h +0 -0
  76. /package/SVF-linux-aarch64/{Release-build/include → include}/MTA/MTA.h +0 -0
  77. /package/SVF-linux-aarch64/{Release-build/include → include}/MTA/MTAStat.h +0 -0
  78. /package/SVF-linux-aarch64/{Release-build/include → include}/MTA/TCT.h +0 -0
  79. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/AbstractPointsToDS.h +0 -0
  80. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/AccessPath.h +0 -0
  81. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/ConditionalPT.h +0 -0
  82. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/MutablePointsToDS.h +0 -0
  83. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/PersistentPointsToCache.h +0 -0
  84. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/PersistentPointsToDS.h +0 -0
  85. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/PointerAnalysis.h +0 -0
  86. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/PointerAnalysisImpl.h +0 -0
  87. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/PointsTo.h +0 -0
  88. /package/SVF-linux-aarch64/{Release-build/include → include}/MemoryModel/SVFLoop.h +0 -0
  89. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/DoubleFreeChecker.h +0 -0
  90. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/FileChecker.h +0 -0
  91. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/LeakChecker.h +0 -0
  92. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/ProgSlice.h +0 -0
  93. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/SaberCheckerAPI.h +0 -0
  94. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/SaberCondAllocator.h +0 -0
  95. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/SaberSVFGBuilder.h +0 -0
  96. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/SrcSnkDDA.h +0 -0
  97. /package/SVF-linux-aarch64/{Release-build/include → include}/SABER/SrcSnkSolver.h +0 -0
  98. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/BasicTypes.h +0 -0
  99. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/BreakConstantExpr.h +0 -0
  100. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/CHGBuilder.h +0 -0
  101. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/CppUtil.h +0 -0
  102. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/DCHG.h +0 -0
  103. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/GEPTypeBridgeIterator.h +0 -0
  104. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/ICFGBuilder.h +0 -0
  105. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/LLVMLoopAnalysis.h +0 -0
  106. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/LLVMModule.h +0 -0
  107. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/LLVMUtil.h +0 -0
  108. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/ObjTypeInference.h +0 -0
  109. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/SVFIRBuilder.h +0 -0
  110. /package/SVF-linux-aarch64/{Release-build/include → include}/SVF-LLVM/SymbolTableBuilder.h +0 -0
  111. /package/SVF-linux-aarch64/{Release-build/include → include}/SVFIR/ObjTypeInfo.h +0 -0
  112. /package/SVF-linux-aarch64/{Release-build/include → include}/SVFIR/PAGBuilderFromFile.h +0 -0
  113. /package/SVF-linux-aarch64/{Release-build/include → include}/SVFIR/SVFIR.h +0 -0
  114. /package/SVF-linux-aarch64/{Release-build/include → include}/SVFIR/SVFStatements.h +0 -0
  115. /package/SVF-linux-aarch64/{Release-build/include → include}/SVFIR/SVFType.h +0 -0
  116. /package/SVF-linux-aarch64/{Release-build/include → include}/SVFIR/SVFValue.h +0 -0
  117. /package/SVF-linux-aarch64/{Release-build/include → include}/SVFIR/SVFVariables.h +0 -0
  118. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/Annotator.h +0 -0
  119. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/BitVector.h +0 -0
  120. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/CDGBuilder.h +0 -0
  121. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/CallGraphBuilder.h +0 -0
  122. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/Casting.h +0 -0
  123. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/CommandLine.h +0 -0
  124. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/CoreBitVector.h +0 -0
  125. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/CxtStmt.h +0 -0
  126. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/DPItem.h +0 -0
  127. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/ExtAPI.h +0 -0
  128. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/GeneralType.h +0 -0
  129. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/GraphReachSolver.h +0 -0
  130. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/NodeIDAllocator.h +0 -0
  131. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/Options.h +0 -0
  132. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/PTAStat.h +0 -0
  133. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/SVFBugReport.h +0 -0
  134. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/SVFLoopAndDomInfo.h +0 -0
  135. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/SVFStat.h +0 -0
  136. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/SVFUtil.h +0 -0
  137. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/SparseBitVector.h +0 -0
  138. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/ThreadAPI.h +0 -0
  139. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/WorkList.h +0 -0
  140. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/Z3Expr.h +0 -0
  141. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/cJSON.h +0 -0
  142. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/config.h +0 -0
  143. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/iterator.h +0 -0
  144. /package/SVF-linux-aarch64/{Release-build/include → include}/Util/iterator_range.h +0 -0
  145. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/Andersen.h +0 -0
  146. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/AndersenPWC.h +0 -0
  147. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/CSC.h +0 -0
  148. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/FlowSensitive.h +0 -0
  149. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/Steensgaard.h +0 -0
  150. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/TypeAnalysis.h +0 -0
  151. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/VersionedFlowSensitive.h +0 -0
  152. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/WPAFSSolver.h +0 -0
  153. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/WPAPass.h +0 -0
  154. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/WPASolver.h +0 -0
  155. /package/SVF-linux-aarch64/{Release-build/include → include}/WPA/WPAStat.h +0 -0
  156. /package/SVF-linux-aarch64/{Release-build/lib → lib}/cmake/SVF/Modules/FindZ3.cmake +0 -0
  157. /package/SVF-linux-aarch64/{Release-build/lib → lib}/cmake/SVF/SVFConfig.cmake +0 -0
  158. /package/SVF-linux-aarch64/{Release-build/lib → lib}/cmake/SVF/SVFConfigVersion.cmake +0 -0
  159. /package/SVF-linux-aarch64/{Release-build/lib → lib}/cmake/SVF/SVFTargets-release.cmake +0 -0
  160. /package/SVF-linux-aarch64/{Release-build/lib → lib}/cmake/SVF/SVFTargets.cmake +0 -0
  161. /package/SVF-linux-aarch64/{Release-build/lib → lib}/extapi.bc +0 -0
  162. /package/SVF-linux-aarch64/{Release-build/lib → lib}/libSvfCore.so.3.1 +0 -0
  163. /package/SVF-linux-aarch64/{Release-build/lib → lib}/libSvfLLVM.so.3.1 +0 -0
  164. /package/SVF-linux-aarch64/{Release-build/lib → lib}/pkgconfig/SVF.pc +0 -0
  165. /package/SVF-osx/{Release-build/bin → bin}/ae +0 -0
  166. /package/SVF-osx/{Release-build/bin → bin}/cfl +0 -0
  167. /package/SVF-osx/{Release-build/bin → bin}/dvf +0 -0
  168. /package/SVF-osx/{Release-build/bin → bin}/llvm2svf +0 -0
  169. /package/SVF-osx/{Release-build/bin → bin}/mta +0 -0
  170. /package/SVF-osx/{Release-build/bin → bin}/saber +0 -0
  171. /package/SVF-osx/{Release-build/bin → bin}/svf-ex +0 -0
  172. /package/SVF-osx/{Release-build/bin → bin}/wpa +0 -0
  173. /package/SVF-osx/{Release-build/include → include}/AE/Core/AbstractState.h +0 -0
  174. /package/SVF-osx/{Release-build/include → include}/AE/Core/AbstractValue.h +0 -0
  175. /package/SVF-osx/{Release-build/include → include}/AE/Core/AddressValue.h +0 -0
  176. /package/SVF-osx/{Release-build/include → include}/AE/Core/ICFGWTO.h +0 -0
  177. /package/SVF-osx/{Release-build/include → include}/AE/Core/IntervalValue.h +0 -0
  178. /package/SVF-osx/{Release-build/include → include}/AE/Core/NumericValue.h +0 -0
  179. /package/SVF-osx/{Release-build/include → include}/AE/Core/RelExeState.h +0 -0
  180. /package/SVF-osx/{Release-build/include → include}/AE/Core/RelationSolver.h +0 -0
  181. /package/SVF-osx/{Release-build/include → include}/AE/Svfexe/AEDetector.h +0 -0
  182. /package/SVF-osx/{Release-build/include → include}/AE/Svfexe/AbsExtAPI.h +0 -0
  183. /package/SVF-osx/{Release-build/include → include}/AE/Svfexe/AbstractInterpretation.h +0 -0
  184. /package/SVF-osx/{Release-build/include → include}/CFL/CFGNormalizer.h +0 -0
  185. /package/SVF-osx/{Release-build/include → include}/CFL/CFGrammar.h +0 -0
  186. /package/SVF-osx/{Release-build/include → include}/CFL/CFLAlias.h +0 -0
  187. /package/SVF-osx/{Release-build/include → include}/CFL/CFLBase.h +0 -0
  188. /package/SVF-osx/{Release-build/include → include}/CFL/CFLGramGraphChecker.h +0 -0
  189. /package/SVF-osx/{Release-build/include → include}/CFL/CFLGraphBuilder.h +0 -0
  190. /package/SVF-osx/{Release-build/include → include}/CFL/CFLSVFGBuilder.h +0 -0
  191. /package/SVF-osx/{Release-build/include → include}/CFL/CFLSolver.h +0 -0
  192. /package/SVF-osx/{Release-build/include → include}/CFL/CFLStat.h +0 -0
  193. /package/SVF-osx/{Release-build/include → include}/CFL/CFLVF.h +0 -0
  194. /package/SVF-osx/{Release-build/include → include}/CFL/GrammarBuilder.h +0 -0
  195. /package/SVF-osx/{Release-build/include → include}/DDA/ContextDDA.h +0 -0
  196. /package/SVF-osx/{Release-build/include → include}/DDA/DDAClient.h +0 -0
  197. /package/SVF-osx/{Release-build/include → include}/DDA/DDAPass.h +0 -0
  198. /package/SVF-osx/{Release-build/include → include}/DDA/DDAStat.h +0 -0
  199. /package/SVF-osx/{Release-build/include → include}/DDA/DDAVFSolver.h +0 -0
  200. /package/SVF-osx/{Release-build/include → include}/DDA/FlowDDA.h +0 -0
  201. /package/SVF-osx/{Release-build/include → include}/FastCluster/fastcluster.h +0 -0
  202. /package/SVF-osx/{Release-build/include → include}/Graphs/BasicBlockG.h +0 -0
  203. /package/SVF-osx/{Release-build/include → include}/Graphs/CDG.h +0 -0
  204. /package/SVF-osx/{Release-build/include → include}/Graphs/CFLGraph.h +0 -0
  205. /package/SVF-osx/{Release-build/include → include}/Graphs/CHG.h +0 -0
  206. /package/SVF-osx/{Release-build/include → include}/Graphs/CallGraph.h +0 -0
  207. /package/SVF-osx/{Release-build/include → include}/Graphs/ConsG.h +0 -0
  208. /package/SVF-osx/{Release-build/include → include}/Graphs/ConsGEdge.h +0 -0
  209. /package/SVF-osx/{Release-build/include → include}/Graphs/ConsGNode.h +0 -0
  210. /package/SVF-osx/{Release-build/include → include}/Graphs/DOTGraphTraits.h +0 -0
  211. /package/SVF-osx/{Release-build/include → include}/Graphs/GenericGraph.h +0 -0
  212. /package/SVF-osx/{Release-build/include → include}/Graphs/GraphPrinter.h +0 -0
  213. /package/SVF-osx/{Release-build/include → include}/Graphs/GraphTraits.h +0 -0
  214. /package/SVF-osx/{Release-build/include → include}/Graphs/GraphWriter.h +0 -0
  215. /package/SVF-osx/{Release-build/include → include}/Graphs/ICFG.h +0 -0
  216. /package/SVF-osx/{Release-build/include → include}/Graphs/ICFGEdge.h +0 -0
  217. /package/SVF-osx/{Release-build/include → include}/Graphs/ICFGNode.h +0 -0
  218. /package/SVF-osx/{Release-build/include → include}/Graphs/ICFGStat.h +0 -0
  219. /package/SVF-osx/{Release-build/include → include}/Graphs/IRGraph.h +0 -0
  220. /package/SVF-osx/{Release-build/include → include}/Graphs/SCC.h +0 -0
  221. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFG.h +0 -0
  222. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFGEdge.h +0 -0
  223. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFGNode.h +0 -0
  224. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFGOPT.h +0 -0
  225. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFGStat.h +0 -0
  226. /package/SVF-osx/{Release-build/include → include}/Graphs/ThreadCallGraph.h +0 -0
  227. /package/SVF-osx/{Release-build/include → include}/Graphs/VFG.h +0 -0
  228. /package/SVF-osx/{Release-build/include → include}/Graphs/VFGEdge.h +0 -0
  229. /package/SVF-osx/{Release-build/include → include}/Graphs/VFGNode.h +0 -0
  230. /package/SVF-osx/{Release-build/include → include}/Graphs/WTO.h +0 -0
  231. /package/SVF-osx/{Release-build/include → include}/MSSA/MSSAMuChi.h +0 -0
  232. /package/SVF-osx/{Release-build/include → include}/MSSA/MemPartition.h +0 -0
  233. /package/SVF-osx/{Release-build/include → include}/MSSA/MemRegion.h +0 -0
  234. /package/SVF-osx/{Release-build/include → include}/MSSA/MemSSA.h +0 -0
  235. /package/SVF-osx/{Release-build/include → include}/MSSA/SVFGBuilder.h +0 -0
  236. /package/SVF-osx/{Release-build/include → include}/MTA/LockAnalysis.h +0 -0
  237. /package/SVF-osx/{Release-build/include → include}/MTA/MHP.h +0 -0
  238. /package/SVF-osx/{Release-build/include → include}/MTA/MTA.h +0 -0
  239. /package/SVF-osx/{Release-build/include → include}/MTA/MTAStat.h +0 -0
  240. /package/SVF-osx/{Release-build/include → include}/MTA/TCT.h +0 -0
  241. /package/SVF-osx/{Release-build/include → include}/MemoryModel/AbstractPointsToDS.h +0 -0
  242. /package/SVF-osx/{Release-build/include → include}/MemoryModel/AccessPath.h +0 -0
  243. /package/SVF-osx/{Release-build/include → include}/MemoryModel/ConditionalPT.h +0 -0
  244. /package/SVF-osx/{Release-build/include → include}/MemoryModel/MutablePointsToDS.h +0 -0
  245. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PersistentPointsToCache.h +0 -0
  246. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PersistentPointsToDS.h +0 -0
  247. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PointerAnalysis.h +0 -0
  248. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PointerAnalysisImpl.h +0 -0
  249. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PointsTo.h +0 -0
  250. /package/SVF-osx/{Release-build/include → include}/MemoryModel/SVFLoop.h +0 -0
  251. /package/SVF-osx/{Release-build/include → include}/SABER/DoubleFreeChecker.h +0 -0
  252. /package/SVF-osx/{Release-build/include → include}/SABER/FileChecker.h +0 -0
  253. /package/SVF-osx/{Release-build/include → include}/SABER/LeakChecker.h +0 -0
  254. /package/SVF-osx/{Release-build/include → include}/SABER/ProgSlice.h +0 -0
  255. /package/SVF-osx/{Release-build/include → include}/SABER/SaberCheckerAPI.h +0 -0
  256. /package/SVF-osx/{Release-build/include → include}/SABER/SaberCondAllocator.h +0 -0
  257. /package/SVF-osx/{Release-build/include → include}/SABER/SaberSVFGBuilder.h +0 -0
  258. /package/SVF-osx/{Release-build/include → include}/SABER/SrcSnkDDA.h +0 -0
  259. /package/SVF-osx/{Release-build/include → include}/SABER/SrcSnkSolver.h +0 -0
  260. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/BasicTypes.h +0 -0
  261. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/BreakConstantExpr.h +0 -0
  262. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/CHGBuilder.h +0 -0
  263. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/CppUtil.h +0 -0
  264. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/DCHG.h +0 -0
  265. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/GEPTypeBridgeIterator.h +0 -0
  266. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/ICFGBuilder.h +0 -0
  267. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/LLVMLoopAnalysis.h +0 -0
  268. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/LLVMModule.h +0 -0
  269. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/LLVMUtil.h +0 -0
  270. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/ObjTypeInference.h +0 -0
  271. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/SVFIRBuilder.h +0 -0
  272. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/SymbolTableBuilder.h +0 -0
  273. /package/SVF-osx/{Release-build/include → include}/SVFIR/ObjTypeInfo.h +0 -0
  274. /package/SVF-osx/{Release-build/include → include}/SVFIR/PAGBuilderFromFile.h +0 -0
  275. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFIR.h +0 -0
  276. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFStatements.h +0 -0
  277. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFType.h +0 -0
  278. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFValue.h +0 -0
  279. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFVariables.h +0 -0
  280. /package/SVF-osx/{Release-build/include → include}/Util/Annotator.h +0 -0
  281. /package/SVF-osx/{Release-build/include → include}/Util/BitVector.h +0 -0
  282. /package/SVF-osx/{Release-build/include → include}/Util/CDGBuilder.h +0 -0
  283. /package/SVF-osx/{Release-build/include → include}/Util/CallGraphBuilder.h +0 -0
  284. /package/SVF-osx/{Release-build/include → include}/Util/Casting.h +0 -0
  285. /package/SVF-osx/{Release-build/include → include}/Util/CommandLine.h +0 -0
  286. /package/SVF-osx/{Release-build/include → include}/Util/CoreBitVector.h +0 -0
  287. /package/SVF-osx/{Release-build/include → include}/Util/CxtStmt.h +0 -0
  288. /package/SVF-osx/{Release-build/include → include}/Util/DPItem.h +0 -0
  289. /package/SVF-osx/{Release-build/include → include}/Util/ExtAPI.h +0 -0
  290. /package/SVF-osx/{Release-build/include → include}/Util/GeneralType.h +0 -0
  291. /package/SVF-osx/{Release-build/include → include}/Util/GraphReachSolver.h +0 -0
  292. /package/SVF-osx/{Release-build/include → include}/Util/NodeIDAllocator.h +0 -0
  293. /package/SVF-osx/{Release-build/include → include}/Util/Options.h +0 -0
  294. /package/SVF-osx/{Release-build/include → include}/Util/PTAStat.h +0 -0
  295. /package/SVF-osx/{Release-build/include → include}/Util/SVFBugReport.h +0 -0
  296. /package/SVF-osx/{Release-build/include → include}/Util/SVFLoopAndDomInfo.h +0 -0
  297. /package/SVF-osx/{Release-build/include → include}/Util/SVFStat.h +0 -0
  298. /package/SVF-osx/{Release-build/include → include}/Util/SVFUtil.h +0 -0
  299. /package/SVF-osx/{Release-build/include → include}/Util/SparseBitVector.h +0 -0
  300. /package/SVF-osx/{Release-build/include → include}/Util/ThreadAPI.h +0 -0
  301. /package/SVF-osx/{Release-build/include → include}/Util/WorkList.h +0 -0
  302. /package/SVF-osx/{Release-build/include → include}/Util/Z3Expr.h +0 -0
  303. /package/SVF-osx/{Release-build/include → include}/Util/cJSON.h +0 -0
  304. /package/SVF-osx/{Release-build/include → include}/Util/config.h +0 -0
  305. /package/SVF-osx/{Release-build/include → include}/Util/iterator.h +0 -0
  306. /package/SVF-osx/{Release-build/include → include}/Util/iterator_range.h +0 -0
  307. /package/SVF-osx/{Release-build/include → include}/WPA/Andersen.h +0 -0
  308. /package/SVF-osx/{Release-build/include → include}/WPA/AndersenPWC.h +0 -0
  309. /package/SVF-osx/{Release-build/include → include}/WPA/CSC.h +0 -0
  310. /package/SVF-osx/{Release-build/include → include}/WPA/FlowSensitive.h +0 -0
  311. /package/SVF-osx/{Release-build/include → include}/WPA/Steensgaard.h +0 -0
  312. /package/SVF-osx/{Release-build/include → include}/WPA/TypeAnalysis.h +0 -0
  313. /package/SVF-osx/{Release-build/include → include}/WPA/VersionedFlowSensitive.h +0 -0
  314. /package/SVF-osx/{Release-build/include → include}/WPA/WPAFSSolver.h +0 -0
  315. /package/SVF-osx/{Release-build/include → include}/WPA/WPAPass.h +0 -0
  316. /package/SVF-osx/{Release-build/include → include}/WPA/WPASolver.h +0 -0
  317. /package/SVF-osx/{Release-build/include → include}/WPA/WPAStat.h +0 -0
  318. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/Modules/FindZ3.cmake +0 -0
  319. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/SVFConfig.cmake +0 -0
  320. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/SVFConfigVersion.cmake +0 -0
  321. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/SVFTargets-release.cmake +0 -0
  322. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/SVFTargets.cmake +0 -0
  323. /package/SVF-osx/{Release-build/lib → lib}/extapi.bc +0 -0
  324. /package/SVF-osx/{Release-build/lib → lib}/libSvfCore.3.1.dylib +0 -0
  325. /package/SVF-osx/{Release-build/lib → lib}/libSvfLLVM.3.1.dylib +0 -0
  326. /package/SVF-osx/{Release-build/lib → lib}/pkgconfig/SVF.pc +0 -0
package/llvm_install.sh CHANGED
@@ -14,17 +14,17 @@ LLVMHome="llvm-${LLVMVer}.obj"
14
14
 
15
15
  if [[ $sysOS == "Darwin" ]]
16
16
  then
17
- ln -sf libSvfLLVM.3.1.dylib "$SVFHOME/SVF-osx/Release-build/lib/libSvfLLVM.3.dylib"
18
- ln -sf libSvfLLVM.3.dylib "$SVFHOME/SVF-osx/Release-build/lib/libSvfLLVM.dylib"
19
- ln -sf libSvfCore.3.1.dylib "$SVFHOME/SVF-osx/Release-build/lib/libSvfCore.3.dylib"
20
- ln -sf libSvfCore.3.dylib "$SVFHOME/SVF-osx/Release-build/lib/libSvfCore.dylib"
17
+ ln -sf libSvfLLVM.3.1.dylib "$SVFHOME/SVF-osx/lib/libSvfLLVM.3.dylib"
18
+ ln -sf libSvfLLVM.3.dylib "$SVFHOME/SVF-osx/lib/libSvfLLVM.dylib"
19
+ ln -sf libSvfCore.3.1.dylib "$SVFHOME/SVF-osx/lib/libSvfCore.3.dylib"
20
+ ln -sf libSvfCore.3.dylib "$SVFHOME/SVF-osx/lib/libSvfCore.dylib"
21
21
  elif [[ $sysOS == "Linux" ]]
22
22
  then
23
23
  # resume softlink libSvfLLVM.so since npm pack would ignore softlink
24
- ln -sf libSvfLLVM.so.3.1 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfLLVM.so.3"
25
- ln -sf libSvfLLVM.so.3 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfLLVM.so"
26
- ln -sf libSvfCore.so.3.1 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfCore.so.3"
27
- ln -sf libSvfCore.so.3 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfCore.so"
24
+ ln -sf libSvfLLVM.so.3.1 "$SVFHOME/SVF-linux-${arch}/lib/libSvfLLVM.so.3"
25
+ ln -sf libSvfLLVM.so.3 "$SVFHOME/SVF-linux-${arch}/lib/libSvfLLVM.so"
26
+ ln -sf libSvfCore.so.3.1 "$SVFHOME/SVF-linux-${arch}/lib/libSvfCore.so.3"
27
+ ln -sf libSvfCore.so.3 "$SVFHOME/SVF-linux-${arch}/lib/libSvfCore.so"
28
28
  fi
29
29
 
30
30
  cd $SVFHOME
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2330",
3
+ "version": "1.0.2332",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {
/package/SVF-linux-aarch64/{Release-build/bin → bin}/ae RENAMED
File without changes
/package/SVF-osx/{Release-build/bin → bin}/ae RENAMED
File without changes
/package/SVF-osx/{Release-build/bin → bin}/cfl RENAMED
File without changes
/package/SVF-osx/{Release-build/bin → bin}/dvf RENAMED
File without changes
/package/SVF-osx/{Release-build/bin → bin}/llvm2svf RENAMED
File without changes
/package/SVF-osx/{Release-build/bin → bin}/mta RENAMED
File without changes
/package/SVF-osx/{Release-build/bin → bin}/saber RENAMED
File without changes
/package/SVF-osx/{Release-build/bin → bin}/svf-ex RENAMED
File without changes
/package/SVF-osx/{Release-build/bin → bin}/wpa RENAMED
File without changes