svf-lib 1.0.2113 → 1.0.2115
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/Release-build/bin/ae +0 -0
- package/SVF-linux/Release-build/bin/cfl +0 -0
- package/SVF-linux/Release-build/bin/dvf +0 -0
- package/SVF-linux/Release-build/bin/llvm2svf +0 -0
- package/SVF-linux/Release-build/bin/mta +0 -0
- package/SVF-linux/Release-build/bin/saber +0 -0
- package/SVF-linux/Release-build/bin/svf-ex +0 -0
- package/SVF-linux/Release-build/bin/wpa +0 -0
- package/SVF-linux/Release-build/include/Graphs/CDG.h +18 -1
- package/SVF-linux/Release-build/include/Graphs/CFLGraph.h +19 -1
- package/SVF-linux/Release-build/include/Graphs/CHG.h +19 -1
- package/SVF-linux/Release-build/include/Graphs/CallGraph.h +19 -1
- package/SVF-linux/Release-build/include/Graphs/ConsGNode.h +19 -1
- package/SVF-linux/Release-build/include/Graphs/GenericGraph.h +243 -17
- package/SVF-linux/Release-build/include/Graphs/ICFG.h +0 -96
- package/SVF-linux/Release-build/include/Graphs/ICFGNode.h +55 -22
- package/SVF-linux/Release-build/include/Graphs/SVFG.h +2 -2
- package/SVF-linux/Release-build/include/Graphs/SVFGNode.h +5 -17
- package/SVF-linux/Release-build/include/Graphs/SVFGOPT.h +2 -1
- package/SVF-linux/Release-build/include/Graphs/VFG.h +2 -2
- package/SVF-linux/Release-build/include/Graphs/VFGNode.h +99 -26
- package/SVF-linux/Release-build/include/MTA/TCT.h +19 -1
- package/SVF-linux/Release-build/include/SABER/SaberCondAllocator.h +2 -2
- package/SVF-linux/Release-build/include/SVF-LLVM/DCHG.h +1 -1
- package/SVF-linux/Release-build/include/SVF-LLVM/ICFGBuilder.h +93 -23
- package/SVF-linux/Release-build/include/SVF-LLVM/LLVMModule.h +84 -0
- package/SVF-linux/Release-build/include/SVF-LLVM/LLVMUtil.h +15 -0
- package/SVF-linux/Release-build/include/SVF-LLVM/SVFIRBuilder.h +19 -12
- package/SVF-linux/Release-build/include/SVFIR/SVFFileSystem.h +1 -1
- package/SVF-linux/Release-build/include/SVFIR/SVFIR.h +2 -2
- package/SVF-linux/Release-build/include/SVFIR/SVFVariables.h +68 -38
- package/SVF-linux/Release-build/include/SVFIR/SymbolTableInfo.h +11 -1
- package/SVF-linux/Release-build/include/WPA/Andersen.h +1 -1
- package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/lib/libSvfLLVM.a +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/Graphs/CDG.h +18 -1
- package/SVF-osx/Release-build/include/Graphs/CFLGraph.h +19 -1
- package/SVF-osx/Release-build/include/Graphs/CHG.h +19 -1
- package/SVF-osx/Release-build/include/Graphs/CallGraph.h +19 -1
- package/SVF-osx/Release-build/include/Graphs/ConsGNode.h +19 -1
- package/SVF-osx/Release-build/include/Graphs/GenericGraph.h +243 -17
- package/SVF-osx/Release-build/include/Graphs/ICFG.h +0 -96
- package/SVF-osx/Release-build/include/Graphs/ICFGNode.h +55 -22
- package/SVF-osx/Release-build/include/Graphs/SVFG.h +2 -2
- package/SVF-osx/Release-build/include/Graphs/SVFGNode.h +5 -17
- package/SVF-osx/Release-build/include/Graphs/SVFGOPT.h +2 -1
- package/SVF-osx/Release-build/include/Graphs/VFG.h +2 -2
- package/SVF-osx/Release-build/include/Graphs/VFGNode.h +99 -26
- package/SVF-osx/Release-build/include/MTA/TCT.h +19 -1
- package/SVF-osx/Release-build/include/SABER/SaberCondAllocator.h +2 -2
- package/SVF-osx/Release-build/include/SVF-LLVM/DCHG.h +1 -1
- package/SVF-osx/Release-build/include/SVF-LLVM/ICFGBuilder.h +93 -23
- package/SVF-osx/Release-build/include/SVF-LLVM/LLVMModule.h +84 -0
- package/SVF-osx/Release-build/include/SVF-LLVM/LLVMUtil.h +15 -0
- package/SVF-osx/Release-build/include/SVF-LLVM/SVFIRBuilder.h +19 -12
- package/SVF-osx/Release-build/include/SVFIR/SVFFileSystem.h +1 -1
- package/SVF-osx/Release-build/include/SVFIR/SVFIR.h +2 -2
- package/SVF-osx/Release-build/include/SVFIR/SVFVariables.h +68 -38
- package/SVF-osx/Release-build/include/SVFIR/SymbolTableInfo.h +11 -1
- package/SVF-osx/Release-build/include/WPA/Andersen.h +1 -1
- package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
- package/package.json +1 -1