svf-lib 1.0.2317 → 1.0.2319

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 (180) hide show
  1. package/SVF-linux-x86_64/Release-build/bin/ae +0 -0
  2. package/SVF-linux-x86_64/Release-build/bin/cfl +0 -0
  3. package/SVF-linux-x86_64/Release-build/bin/dvf +0 -0
  4. package/SVF-linux-x86_64/Release-build/bin/llvm2svf +0 -0
  5. package/SVF-linux-x86_64/Release-build/bin/mta +0 -0
  6. package/SVF-linux-x86_64/Release-build/bin/saber +0 -0
  7. package/SVF-linux-x86_64/Release-build/bin/svf-ex +0 -0
  8. package/SVF-linux-x86_64/Release-build/bin/wpa +0 -0
  9. package/{SVF-osx → SVF-linux-x86_64}/Release-build/include/SVF/Util/config.h +2 -2
  10. package/SVF-linux-x86_64/Release-build/lib/extapi.bc +1782 -2025
  11. package/SVF-linux-x86_64/Release-build/lib/{libSvfCore.so → libSvfCore.so.3.1} +0 -0
  12. package/SVF-linux-x86_64/Release-build/lib/libSvfLLVM.so.3.1 +0 -0
  13. package/package.json +1 -1
  14. package/SVF-linux-x86_64/Release-build/include/Util/config.h +0 -26
  15. package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFConfig.cmake +0 -58
  16. package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFConfigVersion.cmake +0 -43
  17. package/SVF-linux-x86_64/Release-build/lib/libSvfLLVM.so.16 +0 -0
  18. package/SVF-osx/Release-build/bin/ae +0 -0
  19. package/SVF-osx/Release-build/bin/cfl +0 -0
  20. package/SVF-osx/Release-build/bin/dvf +0 -0
  21. package/SVF-osx/Release-build/bin/llvm2svf +0 -0
  22. package/SVF-osx/Release-build/bin/mta +0 -0
  23. package/SVF-osx/Release-build/bin/saber +0 -0
  24. package/SVF-osx/Release-build/bin/svf-ex +0 -0
  25. package/SVF-osx/Release-build/bin/wpa +0 -0
  26. package/SVF-osx/Release-build/include/AE/Core/AbstractState.h +0 -425
  27. package/SVF-osx/Release-build/include/AE/Core/AbstractValue.h +0 -157
  28. package/SVF-osx/Release-build/include/AE/Core/AddressValue.h +0 -225
  29. package/SVF-osx/Release-build/include/AE/Core/ICFGWTO.h +0 -135
  30. package/SVF-osx/Release-build/include/AE/Core/IntervalValue.h +0 -1055
  31. package/SVF-osx/Release-build/include/AE/Core/NumericValue.h +0 -1292
  32. package/SVF-osx/Release-build/include/AE/Core/RelExeState.h +0 -226
  33. package/SVF-osx/Release-build/include/AE/Core/RelationSolver.h +0 -91
  34. package/SVF-osx/Release-build/include/AE/Svfexe/AEDetector.h +0 -439
  35. package/SVF-osx/Release-build/include/AE/Svfexe/AbsExtAPI.h +0 -138
  36. package/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h +0 -384
  37. package/SVF-osx/Release-build/include/CFL/CFGNormalizer.h +0 -84
  38. package/SVF-osx/Release-build/include/CFL/CFGrammar.h +0 -468
  39. package/SVF-osx/Release-build/include/CFL/CFLAlias.h +0 -168
  40. package/SVF-osx/Release-build/include/CFL/CFLBase.h +0 -118
  41. package/SVF-osx/Release-build/include/CFL/CFLGramGraphChecker.h +0 -74
  42. package/SVF-osx/Release-build/include/CFL/CFLGraphBuilder.h +0 -168
  43. package/SVF-osx/Release-build/include/CFL/CFLSVFGBuilder.h +0 -58
  44. package/SVF-osx/Release-build/include/CFL/CFLSolver.h +0 -374
  45. package/SVF-osx/Release-build/include/CFL/CFLStat.h +0 -67
  46. package/SVF-osx/Release-build/include/CFL/CFLVF.h +0 -68
  47. package/SVF-osx/Release-build/include/CFL/GrammarBuilder.h +0 -100
  48. package/SVF-osx/Release-build/include/CFL/grammar/PAGGrammar.txt +0 -15
  49. package/SVF-osx/Release-build/include/CFL/grammar/PEGGrammar.txt +0 -11
  50. package/SVF-osx/Release-build/include/CFL/grammar/VFGGrammar.txt +0 -7
  51. package/SVF-osx/Release-build/include/DDA/ContextDDA.h +0 -230
  52. package/SVF-osx/Release-build/include/DDA/DDAClient.h +0 -163
  53. package/SVF-osx/Release-build/include/DDA/DDAPass.h +0 -102
  54. package/SVF-osx/Release-build/include/DDA/DDAStat.h +0 -121
  55. package/SVF-osx/Release-build/include/DDA/DDAVFSolver.h +0 -794
  56. package/SVF-osx/Release-build/include/DDA/FlowDDA.h +0 -178
  57. package/SVF-osx/Release-build/include/FastCluster/LICENSE.TXT +0 -13
  58. package/SVF-osx/Release-build/include/FastCluster/fastcluster.h +0 -80
  59. package/SVF-osx/Release-build/include/Graphs/BasicBlockG.h +0 -318
  60. package/SVF-osx/Release-build/include/Graphs/CDG.h +0 -482
  61. package/SVF-osx/Release-build/include/Graphs/CFLGraph.h +0 -232
  62. package/SVF-osx/Release-build/include/Graphs/CHG.h +0 -368
  63. package/SVF-osx/Release-build/include/Graphs/CallGraph.h +0 -497
  64. package/SVF-osx/Release-build/include/Graphs/ConsG.h +0 -402
  65. package/SVF-osx/Release-build/include/Graphs/ConsGEdge.h +0 -355
  66. package/SVF-osx/Release-build/include/Graphs/ConsGNode.h +0 -418
  67. package/SVF-osx/Release-build/include/Graphs/DOTGraphTraits.h +0 -188
  68. package/SVF-osx/Release-build/include/Graphs/GenericGraph.h +0 -628
  69. package/SVF-osx/Release-build/include/Graphs/GraphPrinter.h +0 -111
  70. package/SVF-osx/Release-build/include/Graphs/GraphTraits.h +0 -150
  71. package/SVF-osx/Release-build/include/Graphs/GraphWriter.h +0 -380
  72. package/SVF-osx/Release-build/include/Graphs/ICFG.h +0 -331
  73. package/SVF-osx/Release-build/include/Graphs/ICFGEdge.h +0 -281
  74. package/SVF-osx/Release-build/include/Graphs/ICFGNode.h +0 -669
  75. package/SVF-osx/Release-build/include/Graphs/ICFGStat.h +0 -164
  76. package/SVF-osx/Release-build/include/Graphs/IRGraph.h +0 -398
  77. package/SVF-osx/Release-build/include/Graphs/SCC.h +0 -375
  78. package/SVF-osx/Release-build/include/Graphs/SVFG.h +0 -491
  79. package/SVF-osx/Release-build/include/Graphs/SVFGEdge.h +0 -237
  80. package/SVF-osx/Release-build/include/Graphs/SVFGNode.h +0 -501
  81. package/SVF-osx/Release-build/include/Graphs/SVFGOPT.h +0 -372
  82. package/SVF-osx/Release-build/include/Graphs/SVFGStat.h +0 -273
  83. package/SVF-osx/Release-build/include/Graphs/ThreadCallGraph.h +0 -399
  84. package/SVF-osx/Release-build/include/Graphs/VFG.h +0 -726
  85. package/SVF-osx/Release-build/include/Graphs/VFGEdge.h +0 -295
  86. package/SVF-osx/Release-build/include/Graphs/VFGNode.h +0 -1266
  87. package/SVF-osx/Release-build/include/Graphs/WTO.h +0 -872
  88. package/SVF-osx/Release-build/include/MSSA/MSSAMuChi.h +0 -722
  89. package/SVF-osx/Release-build/include/MSSA/MemPartition.h +0 -169
  90. package/SVF-osx/Release-build/include/MSSA/MemRegion.h +0 -489
  91. package/SVF-osx/Release-build/include/MSSA/MemSSA.h +0 -452
  92. package/SVF-osx/Release-build/include/MSSA/SVFGBuilder.h +0 -104
  93. package/SVF-osx/Release-build/include/MTA/LockAnalysis.h +0 -533
  94. package/SVF-osx/Release-build/include/MTA/MHP.h +0 -546
  95. package/SVF-osx/Release-build/include/MTA/MTA.h +0 -97
  96. package/SVF-osx/Release-build/include/MTA/MTAStat.h +0 -73
  97. package/SVF-osx/Release-build/include/MTA/TCT.h +0 -620
  98. package/SVF-osx/Release-build/include/MemoryModel/AbstractPointsToDS.h +0 -316
  99. package/SVF-osx/Release-build/include/MemoryModel/AccessPath.h +0 -194
  100. package/SVF-osx/Release-build/include/MemoryModel/ConditionalPT.h +0 -878
  101. package/SVF-osx/Release-build/include/MemoryModel/MutablePointsToDS.h +0 -1025
  102. package/SVF-osx/Release-build/include/MemoryModel/PersistentPointsToCache.h +0 -463
  103. package/SVF-osx/Release-build/include/MemoryModel/PersistentPointsToDS.h +0 -955
  104. package/SVF-osx/Release-build/include/MemoryModel/PointerAnalysis.h +0 -428
  105. package/SVF-osx/Release-build/include/MemoryModel/PointerAnalysisImpl.h +0 -602
  106. package/SVF-osx/Release-build/include/MemoryModel/PointsTo.h +0 -255
  107. package/SVF-osx/Release-build/include/MemoryModel/SVFLoop.h +0 -167
  108. package/SVF-osx/Release-build/include/SABER/DoubleFreeChecker.h +0 -76
  109. package/SVF-osx/Release-build/include/SABER/FileChecker.h +0 -80
  110. package/SVF-osx/Release-build/include/SABER/LeakChecker.h +0 -122
  111. package/SVF-osx/Release-build/include/SABER/ProgSlice.h +0 -327
  112. package/SVF-osx/Release-build/include/SABER/SaberCheckerAPI.h +0 -151
  113. package/SVF-osx/Release-build/include/SABER/SaberCondAllocator.h +0 -317
  114. package/SVF-osx/Release-build/include/SABER/SaberSVFGBuilder.h +0 -114
  115. package/SVF-osx/Release-build/include/SABER/SrcSnkDDA.h +0 -327
  116. package/SVF-osx/Release-build/include/SABER/SrcSnkSolver.h +0 -186
  117. package/SVF-osx/Release-build/include/SVF-LLVM/BasicTypes.h +0 -280
  118. package/SVF-osx/Release-build/include/SVF-LLVM/BreakConstantExpr.h +0 -93
  119. package/SVF-osx/Release-build/include/SVF-LLVM/CHGBuilder.h +0 -78
  120. package/SVF-osx/Release-build/include/SVF-LLVM/CppUtil.h +0 -184
  121. package/SVF-osx/Release-build/include/SVF-LLVM/DCHG.h +0 -474
  122. package/SVF-osx/Release-build/include/SVF-LLVM/GEPTypeBridgeIterator.h +0 -183
  123. package/SVF-osx/Release-build/include/SVF-LLVM/ICFGBuilder.h +0 -160
  124. package/SVF-osx/Release-build/include/SVF-LLVM/LLVMLoopAnalysis.h +0 -60
  125. package/SVF-osx/Release-build/include/SVF-LLVM/LLVMModule.h +0 -527
  126. package/SVF-osx/Release-build/include/SVF-LLVM/LLVMUtil.h +0 -433
  127. package/SVF-osx/Release-build/include/SVF-LLVM/ObjTypeInference.h +0 -129
  128. package/SVF-osx/Release-build/include/SVF-LLVM/SVFIRBuilder.h +0 -523
  129. package/SVF-osx/Release-build/include/SVF-LLVM/SymbolTableBuilder.h +0 -132
  130. package/SVF-osx/Release-build/include/SVFIR/ObjTypeInfo.h +0 -224
  131. package/SVF-osx/Release-build/include/SVFIR/PAGBuilderFromFile.h +0 -80
  132. package/SVF-osx/Release-build/include/SVFIR/SVFIR.h +0 -856
  133. package/SVF-osx/Release-build/include/SVFIR/SVFStatements.h +0 -1330
  134. package/SVF-osx/Release-build/include/SVFIR/SVFType.h +0 -606
  135. package/SVF-osx/Release-build/include/SVFIR/SVFValue.h +0 -338
  136. package/SVF-osx/Release-build/include/SVFIR/SVFVariables.h +0 -2212
  137. package/SVF-osx/Release-build/include/Util/Annotator.h +0 -180
  138. package/SVF-osx/Release-build/include/Util/BitVector.h +0 -55
  139. package/SVF-osx/Release-build/include/Util/CDGBuilder.h +0 -107
  140. package/SVF-osx/Release-build/include/Util/CallGraphBuilder.h +0 -61
  141. package/SVF-osx/Release-build/include/Util/Casting.h +0 -426
  142. package/SVF-osx/Release-build/include/Util/CommandLine.h +0 -530
  143. package/SVF-osx/Release-build/include/Util/CoreBitVector.h +0 -214
  144. package/SVF-osx/Release-build/include/Util/CxtStmt.h +0 -502
  145. package/SVF-osx/Release-build/include/Util/DPItem.h +0 -618
  146. package/SVF-osx/Release-build/include/Util/ExtAPI.h +0 -117
  147. package/SVF-osx/Release-build/include/Util/GeneralType.h +0 -127
  148. package/SVF-osx/Release-build/include/Util/GraphReachSolver.h +0 -186
  149. package/SVF-osx/Release-build/include/Util/NodeIDAllocator.h +0 -203
  150. package/SVF-osx/Release-build/include/Util/Options.h +0 -273
  151. package/SVF-osx/Release-build/include/Util/PTAStat.h +0 -83
  152. package/SVF-osx/Release-build/include/Util/SVFBugReport.h +0 -427
  153. package/SVF-osx/Release-build/include/Util/SVFLoopAndDomInfo.h +0 -169
  154. package/SVF-osx/Release-build/include/Util/SVFStat.h +0 -103
  155. package/SVF-osx/Release-build/include/Util/SVFUtil.h +0 -478
  156. package/SVF-osx/Release-build/include/Util/SparseBitVector.h +0 -1252
  157. package/SVF-osx/Release-build/include/Util/ThreadAPI.h +0 -188
  158. package/SVF-osx/Release-build/include/Util/WorkList.h +0 -317
  159. package/SVF-osx/Release-build/include/Util/Z3Expr.h +0 -325
  160. package/SVF-osx/Release-build/include/Util/cJSON.h +0 -300
  161. package/SVF-osx/Release-build/include/Util/iterator.h +0 -407
  162. package/SVF-osx/Release-build/include/Util/iterator_range.h +0 -76
  163. package/SVF-osx/Release-build/include/WPA/Andersen.h +0 -434
  164. package/SVF-osx/Release-build/include/WPA/AndersenPWC.h +0 -160
  165. package/SVF-osx/Release-build/include/WPA/CSC.h +0 -95
  166. package/SVF-osx/Release-build/include/WPA/FlowSensitive.h +0 -322
  167. package/SVF-osx/Release-build/include/WPA/Steensgaard.h +0 -131
  168. package/SVF-osx/Release-build/include/WPA/TypeAnalysis.h +0 -90
  169. package/SVF-osx/Release-build/include/WPA/VersionedFlowSensitive.h +0 -295
  170. package/SVF-osx/Release-build/include/WPA/WPAFSSolver.h +0 -246
  171. package/SVF-osx/Release-build/include/WPA/WPAPass.h +0 -115
  172. package/SVF-osx/Release-build/include/WPA/WPASolver.h +0 -205
  173. package/SVF-osx/Release-build/include/WPA/WPAStat.h +0 -222
  174. package/SVF-osx/Release-build/lib/extapi.bc +0 -2384
  175. package/SVF-osx/Release-build/lib/libSvfCore.3.1.dylib +0 -0
  176. package/SVF-osx/Release-build/lib/libSvfCore.3.dylib +0 -0
  177. package/SVF-osx/Release-build/lib/libSvfCore.dylib +0 -0
  178. package/SVF-osx/Release-build/lib/libSvfLLVM.3.1.dylib +0 -0
  179. package/SVF-osx/Release-build/lib/libSvfLLVM.3.dylib +0 -0
  180. package/SVF-osx/Release-build/lib/libSvfLLVM.dylib +0 -0
@@ -34,8 +34,8 @@
34
34
 
35
35
  // Expose the source/build locations of this SVF instance; only for legacy
36
36
  // use-cases; should not be used directly by end users!
37
- #define SVF_BUILD_EXTAPI_BC "/Users/runner/work/SVF/SVF/Release-build/lib/extapi.bc"
38
- #define SVF_SOURCE_DIR "/Users/runner/work/SVF/SVF"
37
+ #define SVF_BUILD_EXTAPI_BC "/home/runner/work/SVF/SVF/Release-build/lib/extapi.bc"
38
+ #define SVF_SOURCE_DIR "/home/runner/work/SVF/SVF"
39
39
  #define SVF_BUILD_DIR ""
40
40
 
41
41
  // Define fallback for installed extapi.bc location to build tree's extapi.bc