svf-lib 1.0.1016 → 1.0.1017
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/MTA/MHP.h +1 -0
- package/SVF-linux/include/MemoryModel/SVFVariables.h +1 -8
- package/SVF-linux/include/MemoryModel/SymbolTableInfo.h +2 -22
- package/SVF-linux/include/SVF-FE/BasicTypes.h +1 -0
- package/SVF-linux/include/Util/BasicTypes.h +0 -1
- package/package.json +1 -1
|
Binary file
|
|
@@ -32,7 +32,6 @@
|
|
|
32
32
|
|
|
33
33
|
#include "Graphs/GenericGraph.h"
|
|
34
34
|
#include "MemoryModel/SymbolTableInfo.h"
|
|
35
|
-
#include "SVF-FE/LLVMUtil.h"
|
|
36
35
|
#include "MemoryModel/SVFStatements.h"
|
|
37
36
|
|
|
38
37
|
namespace SVF
|
|
@@ -120,13 +119,7 @@ public:
|
|
|
120
119
|
}
|
|
121
120
|
/// Whether it is constant data, i.e., "0", "1.001", "str"
|
|
122
121
|
/// or llvm's metadata, i.e., metadata !4087
|
|
123
|
-
|
|
124
|
-
{
|
|
125
|
-
if (hasValue())
|
|
126
|
-
return SVFUtil::isConstantData(value);
|
|
127
|
-
else
|
|
128
|
-
return false;
|
|
129
|
-
}
|
|
122
|
+
bool isConstantData() const;
|
|
130
123
|
|
|
131
124
|
/// Whether this is an isoloated node on the SVFIR graph
|
|
132
125
|
bool isIsolatedNode() const;
|
|
@@ -32,7 +32,6 @@
|
|
|
32
32
|
|
|
33
33
|
|
|
34
34
|
#include "Util/SVFUtil.h"
|
|
35
|
-
#include "SVF-FE/LLVMUtil.h"
|
|
36
35
|
#include "MemoryModel/LocationSet.h"
|
|
37
36
|
#include "Util/SVFModule.h"
|
|
38
37
|
namespace SVF
|
|
@@ -226,28 +225,9 @@ public:
|
|
|
226
225
|
|
|
227
226
|
/// Get different kinds of syms
|
|
228
227
|
//@{
|
|
229
|
-
SymID getValSym(const Value *val)
|
|
230
|
-
{
|
|
231
|
-
|
|
232
|
-
if(isNullPtrSym(val))
|
|
233
|
-
return nullPtrSymID();
|
|
234
|
-
else if (SVFUtil::isBlackholeSym(val))
|
|
235
|
-
return blkPtrSymID();
|
|
236
|
-
else
|
|
237
|
-
{
|
|
238
|
-
ValueToIDMapTy::const_iterator iter = valSymMap.find(val);
|
|
239
|
-
assert(iter!=valSymMap.end() &&"value sym not found");
|
|
240
|
-
return iter->second;
|
|
241
|
-
}
|
|
242
|
-
}
|
|
228
|
+
SymID getValSym(const Value *val);
|
|
243
229
|
|
|
244
|
-
|
|
245
|
-
{
|
|
246
|
-
if (isNullPtrSym(val) || SVFUtil::isBlackholeSym(val))
|
|
247
|
-
return true;
|
|
248
|
-
else
|
|
249
|
-
return (valSymMap.find(val) != valSymMap.end());
|
|
250
|
-
}
|
|
230
|
+
bool hasValSym(const Value* val);
|
|
251
231
|
|
|
252
232
|
inline SymID getObjSym(const Value *val) const
|
|
253
233
|
{
|
|
@@ -54,6 +54,7 @@ typedef llvm::ConstantAggregateZero ConstantAggregateZero;
|
|
|
54
54
|
typedef llvm::ConstantDataSequential ConstantDataSequential;
|
|
55
55
|
typedef llvm::ConstantExpr ConstantExpr;
|
|
56
56
|
typedef llvm::ConstantDataArray ConstantDataArray;
|
|
57
|
+
typedef llvm::ConstantData ConstantData;
|
|
57
58
|
|
|
58
59
|
// LLVM Instructions
|
|
59
60
|
typedef llvm::AllocaInst AllocaInst;
|
|
@@ -91,7 +91,6 @@ typedef llvm::DataLayout DataLayout;
|
|
|
91
91
|
|
|
92
92
|
/// LLVM Aliases and constants
|
|
93
93
|
typedef llvm::Argument Argument;
|
|
94
|
-
typedef llvm::ConstantData ConstantData;
|
|
95
94
|
typedef llvm::Constant Constant;
|
|
96
95
|
typedef llvm::ConstantInt ConstantInt;
|
|
97
96
|
typedef llvm::ConstantPointerNull ConstantPointerNull;
|