svf-lib 1.0.2332 → 1.0.2334

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