svf-lib 1.0.2329 → 1.0.2331

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 (164) hide show
  1. package/llvm_install.sh +8 -8
  2. package/package.json +1 -1
  3. /package/SVF-osx/{Release-build/bin → bin}/ae +0 -0
  4. /package/SVF-osx/{Release-build/bin → bin}/cfl +0 -0
  5. /package/SVF-osx/{Release-build/bin → bin}/dvf +0 -0
  6. /package/SVF-osx/{Release-build/bin → bin}/llvm2svf +0 -0
  7. /package/SVF-osx/{Release-build/bin → bin}/mta +0 -0
  8. /package/SVF-osx/{Release-build/bin → bin}/saber +0 -0
  9. /package/SVF-osx/{Release-build/bin → bin}/svf-ex +0 -0
  10. /package/SVF-osx/{Release-build/bin → bin}/wpa +0 -0
  11. /package/SVF-osx/{Release-build/include → include}/AE/Core/AbstractState.h +0 -0
  12. /package/SVF-osx/{Release-build/include → include}/AE/Core/AbstractValue.h +0 -0
  13. /package/SVF-osx/{Release-build/include → include}/AE/Core/AddressValue.h +0 -0
  14. /package/SVF-osx/{Release-build/include → include}/AE/Core/ICFGWTO.h +0 -0
  15. /package/SVF-osx/{Release-build/include → include}/AE/Core/IntervalValue.h +0 -0
  16. /package/SVF-osx/{Release-build/include → include}/AE/Core/NumericValue.h +0 -0
  17. /package/SVF-osx/{Release-build/include → include}/AE/Core/RelExeState.h +0 -0
  18. /package/SVF-osx/{Release-build/include → include}/AE/Core/RelationSolver.h +0 -0
  19. /package/SVF-osx/{Release-build/include → include}/AE/Svfexe/AEDetector.h +0 -0
  20. /package/SVF-osx/{Release-build/include → include}/AE/Svfexe/AbsExtAPI.h +0 -0
  21. /package/SVF-osx/{Release-build/include → include}/AE/Svfexe/AbstractInterpretation.h +0 -0
  22. /package/SVF-osx/{Release-build/include → include}/CFL/CFGNormalizer.h +0 -0
  23. /package/SVF-osx/{Release-build/include → include}/CFL/CFGrammar.h +0 -0
  24. /package/SVF-osx/{Release-build/include → include}/CFL/CFLAlias.h +0 -0
  25. /package/SVF-osx/{Release-build/include → include}/CFL/CFLBase.h +0 -0
  26. /package/SVF-osx/{Release-build/include → include}/CFL/CFLGramGraphChecker.h +0 -0
  27. /package/SVF-osx/{Release-build/include → include}/CFL/CFLGraphBuilder.h +0 -0
  28. /package/SVF-osx/{Release-build/include → include}/CFL/CFLSVFGBuilder.h +0 -0
  29. /package/SVF-osx/{Release-build/include → include}/CFL/CFLSolver.h +0 -0
  30. /package/SVF-osx/{Release-build/include → include}/CFL/CFLStat.h +0 -0
  31. /package/SVF-osx/{Release-build/include → include}/CFL/CFLVF.h +0 -0
  32. /package/SVF-osx/{Release-build/include → include}/CFL/GrammarBuilder.h +0 -0
  33. /package/SVF-osx/{Release-build/include → include}/DDA/ContextDDA.h +0 -0
  34. /package/SVF-osx/{Release-build/include → include}/DDA/DDAClient.h +0 -0
  35. /package/SVF-osx/{Release-build/include → include}/DDA/DDAPass.h +0 -0
  36. /package/SVF-osx/{Release-build/include → include}/DDA/DDAStat.h +0 -0
  37. /package/SVF-osx/{Release-build/include → include}/DDA/DDAVFSolver.h +0 -0
  38. /package/SVF-osx/{Release-build/include → include}/DDA/FlowDDA.h +0 -0
  39. /package/SVF-osx/{Release-build/include → include}/FastCluster/fastcluster.h +0 -0
  40. /package/SVF-osx/{Release-build/include → include}/Graphs/BasicBlockG.h +0 -0
  41. /package/SVF-osx/{Release-build/include → include}/Graphs/CDG.h +0 -0
  42. /package/SVF-osx/{Release-build/include → include}/Graphs/CFLGraph.h +0 -0
  43. /package/SVF-osx/{Release-build/include → include}/Graphs/CHG.h +0 -0
  44. /package/SVF-osx/{Release-build/include → include}/Graphs/CallGraph.h +0 -0
  45. /package/SVF-osx/{Release-build/include → include}/Graphs/ConsG.h +0 -0
  46. /package/SVF-osx/{Release-build/include → include}/Graphs/ConsGEdge.h +0 -0
  47. /package/SVF-osx/{Release-build/include → include}/Graphs/ConsGNode.h +0 -0
  48. /package/SVF-osx/{Release-build/include → include}/Graphs/DOTGraphTraits.h +0 -0
  49. /package/SVF-osx/{Release-build/include → include}/Graphs/GenericGraph.h +0 -0
  50. /package/SVF-osx/{Release-build/include → include}/Graphs/GraphPrinter.h +0 -0
  51. /package/SVF-osx/{Release-build/include → include}/Graphs/GraphTraits.h +0 -0
  52. /package/SVF-osx/{Release-build/include → include}/Graphs/GraphWriter.h +0 -0
  53. /package/SVF-osx/{Release-build/include → include}/Graphs/ICFG.h +0 -0
  54. /package/SVF-osx/{Release-build/include → include}/Graphs/ICFGEdge.h +0 -0
  55. /package/SVF-osx/{Release-build/include → include}/Graphs/ICFGNode.h +0 -0
  56. /package/SVF-osx/{Release-build/include → include}/Graphs/ICFGStat.h +0 -0
  57. /package/SVF-osx/{Release-build/include → include}/Graphs/IRGraph.h +0 -0
  58. /package/SVF-osx/{Release-build/include → include}/Graphs/SCC.h +0 -0
  59. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFG.h +0 -0
  60. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFGEdge.h +0 -0
  61. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFGNode.h +0 -0
  62. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFGOPT.h +0 -0
  63. /package/SVF-osx/{Release-build/include → include}/Graphs/SVFGStat.h +0 -0
  64. /package/SVF-osx/{Release-build/include → include}/Graphs/ThreadCallGraph.h +0 -0
  65. /package/SVF-osx/{Release-build/include → include}/Graphs/VFG.h +0 -0
  66. /package/SVF-osx/{Release-build/include → include}/Graphs/VFGEdge.h +0 -0
  67. /package/SVF-osx/{Release-build/include → include}/Graphs/VFGNode.h +0 -0
  68. /package/SVF-osx/{Release-build/include → include}/Graphs/WTO.h +0 -0
  69. /package/SVF-osx/{Release-build/include → include}/MSSA/MSSAMuChi.h +0 -0
  70. /package/SVF-osx/{Release-build/include → include}/MSSA/MemPartition.h +0 -0
  71. /package/SVF-osx/{Release-build/include → include}/MSSA/MemRegion.h +0 -0
  72. /package/SVF-osx/{Release-build/include → include}/MSSA/MemSSA.h +0 -0
  73. /package/SVF-osx/{Release-build/include → include}/MSSA/SVFGBuilder.h +0 -0
  74. /package/SVF-osx/{Release-build/include → include}/MTA/LockAnalysis.h +0 -0
  75. /package/SVF-osx/{Release-build/include → include}/MTA/MHP.h +0 -0
  76. /package/SVF-osx/{Release-build/include → include}/MTA/MTA.h +0 -0
  77. /package/SVF-osx/{Release-build/include → include}/MTA/MTAStat.h +0 -0
  78. /package/SVF-osx/{Release-build/include → include}/MTA/TCT.h +0 -0
  79. /package/SVF-osx/{Release-build/include → include}/MemoryModel/AbstractPointsToDS.h +0 -0
  80. /package/SVF-osx/{Release-build/include → include}/MemoryModel/AccessPath.h +0 -0
  81. /package/SVF-osx/{Release-build/include → include}/MemoryModel/ConditionalPT.h +0 -0
  82. /package/SVF-osx/{Release-build/include → include}/MemoryModel/MutablePointsToDS.h +0 -0
  83. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PersistentPointsToCache.h +0 -0
  84. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PersistentPointsToDS.h +0 -0
  85. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PointerAnalysis.h +0 -0
  86. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PointerAnalysisImpl.h +0 -0
  87. /package/SVF-osx/{Release-build/include → include}/MemoryModel/PointsTo.h +0 -0
  88. /package/SVF-osx/{Release-build/include → include}/MemoryModel/SVFLoop.h +0 -0
  89. /package/SVF-osx/{Release-build/include → include}/SABER/DoubleFreeChecker.h +0 -0
  90. /package/SVF-osx/{Release-build/include → include}/SABER/FileChecker.h +0 -0
  91. /package/SVF-osx/{Release-build/include → include}/SABER/LeakChecker.h +0 -0
  92. /package/SVF-osx/{Release-build/include → include}/SABER/ProgSlice.h +0 -0
  93. /package/SVF-osx/{Release-build/include → include}/SABER/SaberCheckerAPI.h +0 -0
  94. /package/SVF-osx/{Release-build/include → include}/SABER/SaberCondAllocator.h +0 -0
  95. /package/SVF-osx/{Release-build/include → include}/SABER/SaberSVFGBuilder.h +0 -0
  96. /package/SVF-osx/{Release-build/include → include}/SABER/SrcSnkDDA.h +0 -0
  97. /package/SVF-osx/{Release-build/include → include}/SABER/SrcSnkSolver.h +0 -0
  98. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/BasicTypes.h +0 -0
  99. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/BreakConstantExpr.h +0 -0
  100. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/CHGBuilder.h +0 -0
  101. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/CppUtil.h +0 -0
  102. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/DCHG.h +0 -0
  103. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/GEPTypeBridgeIterator.h +0 -0
  104. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/ICFGBuilder.h +0 -0
  105. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/LLVMLoopAnalysis.h +0 -0
  106. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/LLVMModule.h +0 -0
  107. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/LLVMUtil.h +0 -0
  108. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/ObjTypeInference.h +0 -0
  109. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/SVFIRBuilder.h +0 -0
  110. /package/SVF-osx/{Release-build/include → include}/SVF-LLVM/SymbolTableBuilder.h +0 -0
  111. /package/SVF-osx/{Release-build/include → include}/SVFIR/ObjTypeInfo.h +0 -0
  112. /package/SVF-osx/{Release-build/include → include}/SVFIR/PAGBuilderFromFile.h +0 -0
  113. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFIR.h +0 -0
  114. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFStatements.h +0 -0
  115. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFType.h +0 -0
  116. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFValue.h +0 -0
  117. /package/SVF-osx/{Release-build/include → include}/SVFIR/SVFVariables.h +0 -0
  118. /package/SVF-osx/{Release-build/include → include}/Util/Annotator.h +0 -0
  119. /package/SVF-osx/{Release-build/include → include}/Util/BitVector.h +0 -0
  120. /package/SVF-osx/{Release-build/include → include}/Util/CDGBuilder.h +0 -0
  121. /package/SVF-osx/{Release-build/include → include}/Util/CallGraphBuilder.h +0 -0
  122. /package/SVF-osx/{Release-build/include → include}/Util/Casting.h +0 -0
  123. /package/SVF-osx/{Release-build/include → include}/Util/CommandLine.h +0 -0
  124. /package/SVF-osx/{Release-build/include → include}/Util/CoreBitVector.h +0 -0
  125. /package/SVF-osx/{Release-build/include → include}/Util/CxtStmt.h +0 -0
  126. /package/SVF-osx/{Release-build/include → include}/Util/DPItem.h +0 -0
  127. /package/SVF-osx/{Release-build/include → include}/Util/ExtAPI.h +0 -0
  128. /package/SVF-osx/{Release-build/include → include}/Util/GeneralType.h +0 -0
  129. /package/SVF-osx/{Release-build/include → include}/Util/GraphReachSolver.h +0 -0
  130. /package/SVF-osx/{Release-build/include → include}/Util/NodeIDAllocator.h +0 -0
  131. /package/SVF-osx/{Release-build/include → include}/Util/Options.h +0 -0
  132. /package/SVF-osx/{Release-build/include → include}/Util/PTAStat.h +0 -0
  133. /package/SVF-osx/{Release-build/include → include}/Util/SVFBugReport.h +0 -0
  134. /package/SVF-osx/{Release-build/include → include}/Util/SVFLoopAndDomInfo.h +0 -0
  135. /package/SVF-osx/{Release-build/include → include}/Util/SVFStat.h +0 -0
  136. /package/SVF-osx/{Release-build/include → include}/Util/SVFUtil.h +0 -0
  137. /package/SVF-osx/{Release-build/include → include}/Util/SparseBitVector.h +0 -0
  138. /package/SVF-osx/{Release-build/include → include}/Util/ThreadAPI.h +0 -0
  139. /package/SVF-osx/{Release-build/include → include}/Util/WorkList.h +0 -0
  140. /package/SVF-osx/{Release-build/include → include}/Util/Z3Expr.h +0 -0
  141. /package/SVF-osx/{Release-build/include → include}/Util/cJSON.h +0 -0
  142. /package/SVF-osx/{Release-build/include → include}/Util/config.h +0 -0
  143. /package/SVF-osx/{Release-build/include → include}/Util/iterator.h +0 -0
  144. /package/SVF-osx/{Release-build/include → include}/Util/iterator_range.h +0 -0
  145. /package/SVF-osx/{Release-build/include → include}/WPA/Andersen.h +0 -0
  146. /package/SVF-osx/{Release-build/include → include}/WPA/AndersenPWC.h +0 -0
  147. /package/SVF-osx/{Release-build/include → include}/WPA/CSC.h +0 -0
  148. /package/SVF-osx/{Release-build/include → include}/WPA/FlowSensitive.h +0 -0
  149. /package/SVF-osx/{Release-build/include → include}/WPA/Steensgaard.h +0 -0
  150. /package/SVF-osx/{Release-build/include → include}/WPA/TypeAnalysis.h +0 -0
  151. /package/SVF-osx/{Release-build/include → include}/WPA/VersionedFlowSensitive.h +0 -0
  152. /package/SVF-osx/{Release-build/include → include}/WPA/WPAFSSolver.h +0 -0
  153. /package/SVF-osx/{Release-build/include → include}/WPA/WPAPass.h +0 -0
  154. /package/SVF-osx/{Release-build/include → include}/WPA/WPASolver.h +0 -0
  155. /package/SVF-osx/{Release-build/include → include}/WPA/WPAStat.h +0 -0
  156. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/Modules/FindZ3.cmake +0 -0
  157. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/SVFConfig.cmake +0 -0
  158. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/SVFConfigVersion.cmake +0 -0
  159. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/SVFTargets-release.cmake +0 -0
  160. /package/SVF-osx/{Release-build/lib → lib}/cmake/SVF/SVFTargets.cmake +0 -0
  161. /package/SVF-osx/{Release-build/lib → lib}/extapi.bc +0 -0
  162. /package/SVF-osx/{Release-build/lib → lib}/libSvfCore.3.1.dylib +0 -0
  163. /package/SVF-osx/{Release-build/lib → lib}/libSvfLLVM.3.1.dylib +0 -0
  164. /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.2329",
3
+ "version": "1.0.2331",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {
/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
/package/SVF-osx/{Release-build/lib → lib}/extapi.bc RENAMED
File without changes