svf-lib 1.0.1944 → 1.0.1945
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.
|
Binary file
|
|
Binary file
|
|
@@ -67,24 +67,24 @@ public:
|
|
|
67
67
|
/// Return the value range of Integer SVF Type, e.g. unsigned i8 Type->[0, 255], signed i8 Type->[-128, 127]
|
|
68
68
|
AbstractValue getRangeLimitFromType(const SVFType* type);
|
|
69
69
|
|
|
70
|
-
AbstractValue getZExtValue(AbstractState& es, const SVFVar* var);
|
|
71
|
-
AbstractValue getSExtValue(AbstractState& es, const SVFVar* var);
|
|
72
|
-
AbstractValue getFPToSIntValue(AbstractState& es, const SVFVar* var);
|
|
73
|
-
AbstractValue getFPToUIntValue(AbstractState& es, const SVFVar* var);
|
|
74
|
-
AbstractValue getSIntToFPValue(AbstractState& es, const SVFVar* var);
|
|
75
|
-
AbstractValue getUIntToFPValue(AbstractState& es, const SVFVar* var);
|
|
76
|
-
AbstractValue getTruncValue(AbstractState& es, const SVFVar* var, const SVFType* dstType);
|
|
77
|
-
AbstractValue getFPTruncValue(AbstractState& es, const SVFVar* var, const SVFType* dstType);
|
|
70
|
+
AbstractValue getZExtValue(const AbstractState& es, const SVFVar* var);
|
|
71
|
+
AbstractValue getSExtValue(const AbstractState& es, const SVFVar* var);
|
|
72
|
+
AbstractValue getFPToSIntValue(const AbstractState& es, const SVFVar* var);
|
|
73
|
+
AbstractValue getFPToUIntValue(const AbstractState& es, const SVFVar* var);
|
|
74
|
+
AbstractValue getSIntToFPValue(const AbstractState& es, const SVFVar* var);
|
|
75
|
+
AbstractValue getUIntToFPValue(const AbstractState& es, const SVFVar* var);
|
|
76
|
+
AbstractValue getTruncValue(const AbstractState& es, const SVFVar* var, const SVFType* dstType);
|
|
77
|
+
AbstractValue getFPTruncValue(const AbstractState& es, const SVFVar* var, const SVFType* dstType);
|
|
78
78
|
|
|
79
79
|
/// Return the byte offset expression of a GepStmt
|
|
80
80
|
/// elemBytesize is the element byte size of an static alloc or heap alloc array
|
|
81
81
|
/// e.g. GepStmt* gep = [i32*10], x, and x is [0,3]
|
|
82
82
|
/// std::pair<s32_t, s32_t> byteOffset = getByteOffset(gep);
|
|
83
83
|
/// byteOffset should be [0, 12] since i32 is 4 bytes.
|
|
84
|
-
AbstractValue getByteOffset(AbstractState& es, const GepStmt *gep);
|
|
84
|
+
AbstractValue getByteOffset(const AbstractState& es, const GepStmt *gep);
|
|
85
85
|
|
|
86
86
|
/// Return the offset expression of a GepStmt
|
|
87
|
-
AbstractValue getItvOfFlattenedElemIndex(AbstractState& es, const GepStmt *gep);
|
|
87
|
+
AbstractValue getItvOfFlattenedElemIndex(const AbstractState& es, const GepStmt *gep);
|
|
88
88
|
|
|
89
89
|
|
|
90
90
|
static z3::context &getContext()
|
|
@@ -111,26 +111,26 @@ public:
|
|
|
111
111
|
|
|
112
112
|
|
|
113
113
|
/// whether the variable is in varToVal table
|
|
114
|
-
inline bool inVarToValTable(AbstractState& es, u32_t id) const
|
|
114
|
+
inline bool inVarToValTable(const AbstractState& es, u32_t id) const
|
|
115
115
|
{
|
|
116
116
|
return es.inVarToValTable(id);
|
|
117
117
|
}
|
|
118
118
|
|
|
119
119
|
/// whether the variable is in varToAddrs table
|
|
120
|
-
inline bool inVarToAddrsTable(AbstractState& es, u32_t id) const
|
|
120
|
+
inline bool inVarToAddrsTable(const AbstractState& es, u32_t id) const
|
|
121
121
|
{
|
|
122
122
|
return es.inVarToAddrsTable(id);
|
|
123
123
|
}
|
|
124
124
|
|
|
125
125
|
|
|
126
126
|
/// whether the memory address stores a interval value
|
|
127
|
-
inline bool inLocToValTable(AbstractState& es, u32_t id) const
|
|
127
|
+
inline bool inLocToValTable(const AbstractState& es, u32_t id) const
|
|
128
128
|
{
|
|
129
129
|
return es.inLocToValTable(id);
|
|
130
130
|
}
|
|
131
131
|
|
|
132
132
|
/// whether the memory address stores memory addresses
|
|
133
|
-
inline bool inLocToAddrsTable(AbstractState& es, u32_t id) const
|
|
133
|
+
inline bool inLocToAddrsTable(const AbstractState& es, u32_t id) const
|
|
134
134
|
{
|
|
135
135
|
return es.inLocToAddrsTable(id);
|
|
136
136
|
}
|
|
Binary file
|