svf-lib 1.0.1273 → 1.0.1275
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/lib/libSvf.a +0 -0
- package/SVF-linux/include/MemoryModel/PointerAnalysis.h +0 -1
- package/SVF-linux/include/SVF-FE/BasicTypes.h +7 -1
- package/SVF-linux/include/Util/BasicTypes.h +1 -22
- package/SVF-linux/include/Util/Casting.h +1 -0
- package/SVF-linux/include/Util/SVFBasicTypes.h +0 -5
- package/SVF-osx/Release-build/lib/libSvf.a +0 -0
- package/SVF-osx/include/MemoryModel/PointerAnalysis.h +0 -1
- package/SVF-osx/include/SVF-FE/BasicTypes.h +7 -1
- package/SVF-osx/include/Util/BasicTypes.h +1 -22
- package/SVF-osx/include/Util/Casting.h +1 -0
- package/SVF-osx/include/Util/SVFBasicTypes.h +0 -5
- package/package.json +1 -1
|
Binary file
|
|
@@ -99,7 +99,6 @@ public:
|
|
|
99
99
|
|
|
100
100
|
/// Indirect call edges type, map a callsite to a set of callees
|
|
101
101
|
//@{
|
|
102
|
-
typedef llvm::AliasAnalysis AliasAnalysis;
|
|
103
102
|
typedef Set<const CallICFGNode*> CallSiteSet;
|
|
104
103
|
typedef SVFIR::CallSiteToFunPtrMap CallSiteToFunPtrMap;
|
|
105
104
|
typedef Set<const SVFFunction*> FunctionSet;
|
|
@@ -27,7 +27,13 @@
|
|
|
27
27
|
|
|
28
28
|
#include <llvm/Support/SourceMgr.h>
|
|
29
29
|
|
|
30
|
-
#include
|
|
30
|
+
#include <llvm/Bitcode/BitcodeWriter.h> // for WriteBitcodeToFile
|
|
31
|
+
#include <llvm/Bitcode/BitcodeReader.h> /// for isBitcode
|
|
32
|
+
#include <llvm/IRReader/IRReader.h> // IR reader for bit file
|
|
33
|
+
#include <llvm/IR/InstVisitor.h> // for instruction visitor
|
|
34
|
+
#include <llvm/IR/InstIterator.h> // for inst iteration
|
|
35
|
+
|
|
36
|
+
#include <llvm/Analysis/LoopInfo.h>
|
|
31
37
|
|
|
32
38
|
namespace SVF
|
|
33
39
|
{
|
|
@@ -33,37 +33,16 @@
|
|
|
33
33
|
#include "Util/SVFBasicTypes.h"
|
|
34
34
|
#include "Graphs/GraphPrinter.h"
|
|
35
35
|
#include "Util/Casting.h"
|
|
36
|
-
#include <llvm/ADT/SparseBitVector.h>
|
|
37
36
|
#include <llvm/IR/Instructions.h>
|
|
38
|
-
#include <llvm/IR/InstVisitor.h> // for instruction visitor
|
|
39
|
-
#include <llvm/IR/InstIterator.h> // for inst iteration
|
|
40
37
|
#include <llvm/IR/GetElementPtrTypeIterator.h> //for gep iterator
|
|
41
|
-
#include <llvm/ADT/StringExtras.h> // for utostr_32
|
|
42
|
-
#include <llvm/Analysis/AliasAnalysis.h>
|
|
43
|
-
#include <llvm/Analysis/CallGraph.h> // call graph
|
|
44
38
|
#include <llvm/IR/GlobalVariable.h> // for GlobalVariable
|
|
39
|
+
#include <llvm/IR/BasicBlock.h>
|
|
45
40
|
|
|
46
|
-
#include <llvm/Bitcode/BitcodeWriter.h> // for WriteBitcodeToFile
|
|
47
|
-
#include <llvm/Bitcode/BitcodeReader.h> /// for isBitcode
|
|
48
|
-
#include <llvm/IRReader/IRReader.h> // IR reader for bit file
|
|
49
|
-
#include <llvm/Analysis/DominanceFrontier.h>
|
|
50
|
-
#include <llvm/Analysis/PostDominators.h>
|
|
51
|
-
#include <llvm/ADT/GraphTraits.h> // for Graphtraits
|
|
52
|
-
#include <llvm/Transforms/Utils/Local.h> // for FindDbgAddrUses
|
|
53
|
-
|
|
54
|
-
#if (LLVM_VERSION_MAJOR >= 14)
|
|
55
|
-
#include <llvm/BinaryFormat/Dwarf.h>
|
|
56
|
-
#endif
|
|
57
|
-
|
|
58
|
-
#include "llvm/IR/CFG.h"
|
|
59
41
|
#include "llvm/BinaryFormat/Dwarf.h"
|
|
60
42
|
|
|
61
43
|
namespace SVF
|
|
62
44
|
{
|
|
63
45
|
|
|
64
|
-
class BddCond;
|
|
65
|
-
|
|
66
|
-
|
|
67
46
|
/// LLVM Basic classes
|
|
68
47
|
typedef llvm::Type Type;
|
|
69
48
|
typedef llvm::Function Function;
|
|
@@ -31,10 +31,6 @@
|
|
|
31
31
|
#ifndef INCLUDE_UTIL_SVFBASICTYPES_H_
|
|
32
32
|
#define INCLUDE_UTIL_SVFBASICTYPES_H_
|
|
33
33
|
|
|
34
|
-
// TODO: these are just for SmallBBVector.
|
|
35
|
-
#include <llvm/IR/BasicBlock.h>
|
|
36
|
-
#include <llvm/ADT/SmallVector.h>
|
|
37
|
-
|
|
38
34
|
#include <llvm/Support/CommandLine.h> // for command line options
|
|
39
35
|
|
|
40
36
|
#include <Util/SparseBitVector.h>
|
|
@@ -116,7 +112,6 @@ template<typename Key, typename Value, typename Hash = Hash<Key>,
|
|
|
116
112
|
typename Allocator = std::allocator<std::pair<const Key, Value>>>
|
|
117
113
|
using OrderedMap = std::map<Key, Value, Compare, Allocator>;
|
|
118
114
|
|
|
119
|
-
typedef llvm::SmallVector<llvm::BasicBlock*, 8> SmallBBVector;
|
|
120
115
|
typedef std::pair<NodeID, NodeID> NodePair;
|
|
121
116
|
typedef OrderedSet<NodeID> OrderedNodeSet;
|
|
122
117
|
typedef Set<NodeID> NodeSet;
|
|
Binary file
|
|
@@ -99,7 +99,6 @@ public:
|
|
|
99
99
|
|
|
100
100
|
/// Indirect call edges type, map a callsite to a set of callees
|
|
101
101
|
//@{
|
|
102
|
-
typedef llvm::AliasAnalysis AliasAnalysis;
|
|
103
102
|
typedef Set<const CallICFGNode*> CallSiteSet;
|
|
104
103
|
typedef SVFIR::CallSiteToFunPtrMap CallSiteToFunPtrMap;
|
|
105
104
|
typedef Set<const SVFFunction*> FunctionSet;
|
|
@@ -27,7 +27,13 @@
|
|
|
27
27
|
|
|
28
28
|
#include <llvm/Support/SourceMgr.h>
|
|
29
29
|
|
|
30
|
-
#include
|
|
30
|
+
#include <llvm/Bitcode/BitcodeWriter.h> // for WriteBitcodeToFile
|
|
31
|
+
#include <llvm/Bitcode/BitcodeReader.h> /// for isBitcode
|
|
32
|
+
#include <llvm/IRReader/IRReader.h> // IR reader for bit file
|
|
33
|
+
#include <llvm/IR/InstVisitor.h> // for instruction visitor
|
|
34
|
+
#include <llvm/IR/InstIterator.h> // for inst iteration
|
|
35
|
+
|
|
36
|
+
#include <llvm/Analysis/LoopInfo.h>
|
|
31
37
|
|
|
32
38
|
namespace SVF
|
|
33
39
|
{
|
|
@@ -33,37 +33,16 @@
|
|
|
33
33
|
#include "Util/SVFBasicTypes.h"
|
|
34
34
|
#include "Graphs/GraphPrinter.h"
|
|
35
35
|
#include "Util/Casting.h"
|
|
36
|
-
#include <llvm/ADT/SparseBitVector.h>
|
|
37
36
|
#include <llvm/IR/Instructions.h>
|
|
38
|
-
#include <llvm/IR/InstVisitor.h> // for instruction visitor
|
|
39
|
-
#include <llvm/IR/InstIterator.h> // for inst iteration
|
|
40
37
|
#include <llvm/IR/GetElementPtrTypeIterator.h> //for gep iterator
|
|
41
|
-
#include <llvm/ADT/StringExtras.h> // for utostr_32
|
|
42
|
-
#include <llvm/Analysis/AliasAnalysis.h>
|
|
43
|
-
#include <llvm/Analysis/CallGraph.h> // call graph
|
|
44
38
|
#include <llvm/IR/GlobalVariable.h> // for GlobalVariable
|
|
39
|
+
#include <llvm/IR/BasicBlock.h>
|
|
45
40
|
|
|
46
|
-
#include <llvm/Bitcode/BitcodeWriter.h> // for WriteBitcodeToFile
|
|
47
|
-
#include <llvm/Bitcode/BitcodeReader.h> /// for isBitcode
|
|
48
|
-
#include <llvm/IRReader/IRReader.h> // IR reader for bit file
|
|
49
|
-
#include <llvm/Analysis/DominanceFrontier.h>
|
|
50
|
-
#include <llvm/Analysis/PostDominators.h>
|
|
51
|
-
#include <llvm/ADT/GraphTraits.h> // for Graphtraits
|
|
52
|
-
#include <llvm/Transforms/Utils/Local.h> // for FindDbgAddrUses
|
|
53
|
-
|
|
54
|
-
#if (LLVM_VERSION_MAJOR >= 14)
|
|
55
|
-
#include <llvm/BinaryFormat/Dwarf.h>
|
|
56
|
-
#endif
|
|
57
|
-
|
|
58
|
-
#include "llvm/IR/CFG.h"
|
|
59
41
|
#include "llvm/BinaryFormat/Dwarf.h"
|
|
60
42
|
|
|
61
43
|
namespace SVF
|
|
62
44
|
{
|
|
63
45
|
|
|
64
|
-
class BddCond;
|
|
65
|
-
|
|
66
|
-
|
|
67
46
|
/// LLVM Basic classes
|
|
68
47
|
typedef llvm::Type Type;
|
|
69
48
|
typedef llvm::Function Function;
|
|
@@ -31,10 +31,6 @@
|
|
|
31
31
|
#ifndef INCLUDE_UTIL_SVFBASICTYPES_H_
|
|
32
32
|
#define INCLUDE_UTIL_SVFBASICTYPES_H_
|
|
33
33
|
|
|
34
|
-
// TODO: these are just for SmallBBVector.
|
|
35
|
-
#include <llvm/IR/BasicBlock.h>
|
|
36
|
-
#include <llvm/ADT/SmallVector.h>
|
|
37
|
-
|
|
38
34
|
#include <llvm/Support/CommandLine.h> // for command line options
|
|
39
35
|
|
|
40
36
|
#include <Util/SparseBitVector.h>
|
|
@@ -116,7 +112,6 @@ template<typename Key, typename Value, typename Hash = Hash<Key>,
|
|
|
116
112
|
typename Allocator = std::allocator<std::pair<const Key, Value>>>
|
|
117
113
|
using OrderedMap = std::map<Key, Value, Compare, Allocator>;
|
|
118
114
|
|
|
119
|
-
typedef llvm::SmallVector<llvm::BasicBlock*, 8> SmallBBVector;
|
|
120
115
|
typedef std::pair<NodeID, NodeID> NodePair;
|
|
121
116
|
typedef OrderedSet<NodeID> OrderedNodeSet;
|
|
122
117
|
typedef Set<NodeID> NodeSet;
|