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.
- package/SVF-linux-x86_64/Release-build/bin/ae +0 -0
- package/SVF-linux-x86_64/Release-build/bin/cfl +0 -0
- package/SVF-linux-x86_64/Release-build/bin/dvf +0 -0
- package/SVF-linux-x86_64/Release-build/bin/llvm2svf +0 -0
- package/SVF-linux-x86_64/Release-build/bin/mta +0 -0
- package/SVF-linux-x86_64/Release-build/bin/saber +0 -0
- package/SVF-linux-x86_64/Release-build/bin/svf-ex +0 -0
- package/SVF-linux-x86_64/Release-build/bin/wpa +0 -0
- package/{SVF-osx → SVF-linux-x86_64}/Release-build/include/SVF/Util/config.h +2 -2
- package/SVF-linux-x86_64/Release-build/lib/extapi.bc +1782 -2025
- package/SVF-linux-x86_64/Release-build/lib/{libSvfCore.so → libSvfCore.so.3.1} +0 -0
- package/SVF-linux-x86_64/Release-build/lib/libSvfLLVM.so.3.1 +0 -0
- package/package.json +1 -1
- package/SVF-linux-x86_64/Release-build/include/Util/config.h +0 -26
- package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFConfig.cmake +0 -58
- package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFConfigVersion.cmake +0 -43
- package/SVF-linux-x86_64/Release-build/lib/libSvfLLVM.so.16 +0 -0
- package/SVF-osx/Release-build/bin/ae +0 -0
- package/SVF-osx/Release-build/bin/cfl +0 -0
- package/SVF-osx/Release-build/bin/dvf +0 -0
- package/SVF-osx/Release-build/bin/llvm2svf +0 -0
- package/SVF-osx/Release-build/bin/mta +0 -0
- package/SVF-osx/Release-build/bin/saber +0 -0
- package/SVF-osx/Release-build/bin/svf-ex +0 -0
- package/SVF-osx/Release-build/bin/wpa +0 -0
- package/SVF-osx/Release-build/include/AE/Core/AbstractState.h +0 -425
- package/SVF-osx/Release-build/include/AE/Core/AbstractValue.h +0 -157
- package/SVF-osx/Release-build/include/AE/Core/AddressValue.h +0 -225
- package/SVF-osx/Release-build/include/AE/Core/ICFGWTO.h +0 -135
- package/SVF-osx/Release-build/include/AE/Core/IntervalValue.h +0 -1055
- package/SVF-osx/Release-build/include/AE/Core/NumericValue.h +0 -1292
- package/SVF-osx/Release-build/include/AE/Core/RelExeState.h +0 -226
- package/SVF-osx/Release-build/include/AE/Core/RelationSolver.h +0 -91
- package/SVF-osx/Release-build/include/AE/Svfexe/AEDetector.h +0 -439
- package/SVF-osx/Release-build/include/AE/Svfexe/AbsExtAPI.h +0 -138
- package/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h +0 -384
- package/SVF-osx/Release-build/include/CFL/CFGNormalizer.h +0 -84
- package/SVF-osx/Release-build/include/CFL/CFGrammar.h +0 -468
- package/SVF-osx/Release-build/include/CFL/CFLAlias.h +0 -168
- package/SVF-osx/Release-build/include/CFL/CFLBase.h +0 -118
- package/SVF-osx/Release-build/include/CFL/CFLGramGraphChecker.h +0 -74
- package/SVF-osx/Release-build/include/CFL/CFLGraphBuilder.h +0 -168
- package/SVF-osx/Release-build/include/CFL/CFLSVFGBuilder.h +0 -58
- package/SVF-osx/Release-build/include/CFL/CFLSolver.h +0 -374
- package/SVF-osx/Release-build/include/CFL/CFLStat.h +0 -67
- package/SVF-osx/Release-build/include/CFL/CFLVF.h +0 -68
- package/SVF-osx/Release-build/include/CFL/GrammarBuilder.h +0 -100
- package/SVF-osx/Release-build/include/CFL/grammar/PAGGrammar.txt +0 -15
- package/SVF-osx/Release-build/include/CFL/grammar/PEGGrammar.txt +0 -11
- package/SVF-osx/Release-build/include/CFL/grammar/VFGGrammar.txt +0 -7
- package/SVF-osx/Release-build/include/DDA/ContextDDA.h +0 -230
- package/SVF-osx/Release-build/include/DDA/DDAClient.h +0 -163
- package/SVF-osx/Release-build/include/DDA/DDAPass.h +0 -102
- package/SVF-osx/Release-build/include/DDA/DDAStat.h +0 -121
- package/SVF-osx/Release-build/include/DDA/DDAVFSolver.h +0 -794
- package/SVF-osx/Release-build/include/DDA/FlowDDA.h +0 -178
- package/SVF-osx/Release-build/include/FastCluster/LICENSE.TXT +0 -13
- package/SVF-osx/Release-build/include/FastCluster/fastcluster.h +0 -80
- package/SVF-osx/Release-build/include/Graphs/BasicBlockG.h +0 -318
- package/SVF-osx/Release-build/include/Graphs/CDG.h +0 -482
- package/SVF-osx/Release-build/include/Graphs/CFLGraph.h +0 -232
- package/SVF-osx/Release-build/include/Graphs/CHG.h +0 -368
- package/SVF-osx/Release-build/include/Graphs/CallGraph.h +0 -497
- package/SVF-osx/Release-build/include/Graphs/ConsG.h +0 -402
- package/SVF-osx/Release-build/include/Graphs/ConsGEdge.h +0 -355
- package/SVF-osx/Release-build/include/Graphs/ConsGNode.h +0 -418
- package/SVF-osx/Release-build/include/Graphs/DOTGraphTraits.h +0 -188
- package/SVF-osx/Release-build/include/Graphs/GenericGraph.h +0 -628
- package/SVF-osx/Release-build/include/Graphs/GraphPrinter.h +0 -111
- package/SVF-osx/Release-build/include/Graphs/GraphTraits.h +0 -150
- package/SVF-osx/Release-build/include/Graphs/GraphWriter.h +0 -380
- package/SVF-osx/Release-build/include/Graphs/ICFG.h +0 -331
- package/SVF-osx/Release-build/include/Graphs/ICFGEdge.h +0 -281
- package/SVF-osx/Release-build/include/Graphs/ICFGNode.h +0 -669
- package/SVF-osx/Release-build/include/Graphs/ICFGStat.h +0 -164
- package/SVF-osx/Release-build/include/Graphs/IRGraph.h +0 -398
- package/SVF-osx/Release-build/include/Graphs/SCC.h +0 -375
- package/SVF-osx/Release-build/include/Graphs/SVFG.h +0 -491
- package/SVF-osx/Release-build/include/Graphs/SVFGEdge.h +0 -237
- package/SVF-osx/Release-build/include/Graphs/SVFGNode.h +0 -501
- package/SVF-osx/Release-build/include/Graphs/SVFGOPT.h +0 -372
- package/SVF-osx/Release-build/include/Graphs/SVFGStat.h +0 -273
- package/SVF-osx/Release-build/include/Graphs/ThreadCallGraph.h +0 -399
- package/SVF-osx/Release-build/include/Graphs/VFG.h +0 -726
- package/SVF-osx/Release-build/include/Graphs/VFGEdge.h +0 -295
- package/SVF-osx/Release-build/include/Graphs/VFGNode.h +0 -1266
- package/SVF-osx/Release-build/include/Graphs/WTO.h +0 -872
- package/SVF-osx/Release-build/include/MSSA/MSSAMuChi.h +0 -722
- package/SVF-osx/Release-build/include/MSSA/MemPartition.h +0 -169
- package/SVF-osx/Release-build/include/MSSA/MemRegion.h +0 -489
- package/SVF-osx/Release-build/include/MSSA/MemSSA.h +0 -452
- package/SVF-osx/Release-build/include/MSSA/SVFGBuilder.h +0 -104
- package/SVF-osx/Release-build/include/MTA/LockAnalysis.h +0 -533
- package/SVF-osx/Release-build/include/MTA/MHP.h +0 -546
- package/SVF-osx/Release-build/include/MTA/MTA.h +0 -97
- package/SVF-osx/Release-build/include/MTA/MTAStat.h +0 -73
- package/SVF-osx/Release-build/include/MTA/TCT.h +0 -620
- package/SVF-osx/Release-build/include/MemoryModel/AbstractPointsToDS.h +0 -316
- package/SVF-osx/Release-build/include/MemoryModel/AccessPath.h +0 -194
- package/SVF-osx/Release-build/include/MemoryModel/ConditionalPT.h +0 -878
- package/SVF-osx/Release-build/include/MemoryModel/MutablePointsToDS.h +0 -1025
- package/SVF-osx/Release-build/include/MemoryModel/PersistentPointsToCache.h +0 -463
- package/SVF-osx/Release-build/include/MemoryModel/PersistentPointsToDS.h +0 -955
- package/SVF-osx/Release-build/include/MemoryModel/PointerAnalysis.h +0 -428
- package/SVF-osx/Release-build/include/MemoryModel/PointerAnalysisImpl.h +0 -602
- package/SVF-osx/Release-build/include/MemoryModel/PointsTo.h +0 -255
- package/SVF-osx/Release-build/include/MemoryModel/SVFLoop.h +0 -167
- package/SVF-osx/Release-build/include/SABER/DoubleFreeChecker.h +0 -76
- package/SVF-osx/Release-build/include/SABER/FileChecker.h +0 -80
- package/SVF-osx/Release-build/include/SABER/LeakChecker.h +0 -122
- package/SVF-osx/Release-build/include/SABER/ProgSlice.h +0 -327
- package/SVF-osx/Release-build/include/SABER/SaberCheckerAPI.h +0 -151
- package/SVF-osx/Release-build/include/SABER/SaberCondAllocator.h +0 -317
- package/SVF-osx/Release-build/include/SABER/SaberSVFGBuilder.h +0 -114
- package/SVF-osx/Release-build/include/SABER/SrcSnkDDA.h +0 -327
- package/SVF-osx/Release-build/include/SABER/SrcSnkSolver.h +0 -186
- package/SVF-osx/Release-build/include/SVF-LLVM/BasicTypes.h +0 -280
- package/SVF-osx/Release-build/include/SVF-LLVM/BreakConstantExpr.h +0 -93
- package/SVF-osx/Release-build/include/SVF-LLVM/CHGBuilder.h +0 -78
- package/SVF-osx/Release-build/include/SVF-LLVM/CppUtil.h +0 -184
- package/SVF-osx/Release-build/include/SVF-LLVM/DCHG.h +0 -474
- package/SVF-osx/Release-build/include/SVF-LLVM/GEPTypeBridgeIterator.h +0 -183
- package/SVF-osx/Release-build/include/SVF-LLVM/ICFGBuilder.h +0 -160
- package/SVF-osx/Release-build/include/SVF-LLVM/LLVMLoopAnalysis.h +0 -60
- package/SVF-osx/Release-build/include/SVF-LLVM/LLVMModule.h +0 -527
- package/SVF-osx/Release-build/include/SVF-LLVM/LLVMUtil.h +0 -433
- package/SVF-osx/Release-build/include/SVF-LLVM/ObjTypeInference.h +0 -129
- package/SVF-osx/Release-build/include/SVF-LLVM/SVFIRBuilder.h +0 -523
- package/SVF-osx/Release-build/include/SVF-LLVM/SymbolTableBuilder.h +0 -132
- package/SVF-osx/Release-build/include/SVFIR/ObjTypeInfo.h +0 -224
- package/SVF-osx/Release-build/include/SVFIR/PAGBuilderFromFile.h +0 -80
- package/SVF-osx/Release-build/include/SVFIR/SVFIR.h +0 -856
- package/SVF-osx/Release-build/include/SVFIR/SVFStatements.h +0 -1330
- package/SVF-osx/Release-build/include/SVFIR/SVFType.h +0 -606
- package/SVF-osx/Release-build/include/SVFIR/SVFValue.h +0 -338
- package/SVF-osx/Release-build/include/SVFIR/SVFVariables.h +0 -2212
- package/SVF-osx/Release-build/include/Util/Annotator.h +0 -180
- package/SVF-osx/Release-build/include/Util/BitVector.h +0 -55
- package/SVF-osx/Release-build/include/Util/CDGBuilder.h +0 -107
- package/SVF-osx/Release-build/include/Util/CallGraphBuilder.h +0 -61
- package/SVF-osx/Release-build/include/Util/Casting.h +0 -426
- package/SVF-osx/Release-build/include/Util/CommandLine.h +0 -530
- package/SVF-osx/Release-build/include/Util/CoreBitVector.h +0 -214
- package/SVF-osx/Release-build/include/Util/CxtStmt.h +0 -502
- package/SVF-osx/Release-build/include/Util/DPItem.h +0 -618
- package/SVF-osx/Release-build/include/Util/ExtAPI.h +0 -117
- package/SVF-osx/Release-build/include/Util/GeneralType.h +0 -127
- package/SVF-osx/Release-build/include/Util/GraphReachSolver.h +0 -186
- package/SVF-osx/Release-build/include/Util/NodeIDAllocator.h +0 -203
- package/SVF-osx/Release-build/include/Util/Options.h +0 -273
- package/SVF-osx/Release-build/include/Util/PTAStat.h +0 -83
- package/SVF-osx/Release-build/include/Util/SVFBugReport.h +0 -427
- package/SVF-osx/Release-build/include/Util/SVFLoopAndDomInfo.h +0 -169
- package/SVF-osx/Release-build/include/Util/SVFStat.h +0 -103
- package/SVF-osx/Release-build/include/Util/SVFUtil.h +0 -478
- package/SVF-osx/Release-build/include/Util/SparseBitVector.h +0 -1252
- package/SVF-osx/Release-build/include/Util/ThreadAPI.h +0 -188
- package/SVF-osx/Release-build/include/Util/WorkList.h +0 -317
- package/SVF-osx/Release-build/include/Util/Z3Expr.h +0 -325
- package/SVF-osx/Release-build/include/Util/cJSON.h +0 -300
- package/SVF-osx/Release-build/include/Util/iterator.h +0 -407
- package/SVF-osx/Release-build/include/Util/iterator_range.h +0 -76
- package/SVF-osx/Release-build/include/WPA/Andersen.h +0 -434
- package/SVF-osx/Release-build/include/WPA/AndersenPWC.h +0 -160
- package/SVF-osx/Release-build/include/WPA/CSC.h +0 -95
- package/SVF-osx/Release-build/include/WPA/FlowSensitive.h +0 -322
- package/SVF-osx/Release-build/include/WPA/Steensgaard.h +0 -131
- package/SVF-osx/Release-build/include/WPA/TypeAnalysis.h +0 -90
- package/SVF-osx/Release-build/include/WPA/VersionedFlowSensitive.h +0 -295
- package/SVF-osx/Release-build/include/WPA/WPAFSSolver.h +0 -246
- package/SVF-osx/Release-build/include/WPA/WPAPass.h +0 -115
- package/SVF-osx/Release-build/include/WPA/WPASolver.h +0 -205
- package/SVF-osx/Release-build/include/WPA/WPAStat.h +0 -222
- package/SVF-osx/Release-build/lib/extapi.bc +0 -2384
- package/SVF-osx/Release-build/lib/libSvfCore.3.1.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfCore.3.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfCore.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.3.1.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.3.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.dylib +0 -0
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -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 "/
|
|
38
|
-
#define SVF_SOURCE_DIR "/
|
|
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
|