svf-lib 1.0.977 → 1.0.978
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
|
|
@@ -39,7 +39,7 @@ namespace SVF {
|
|
|
39
39
|
class ExeState {
|
|
40
40
|
public:
|
|
41
41
|
typedef Map<u32_t, Z3Expr> VarToValMap;
|
|
42
|
-
typedef
|
|
42
|
+
typedef VarToValMap LocToValMap;
|
|
43
43
|
|
|
44
44
|
protected:
|
|
45
45
|
VarToValMap varToVal;
|
|
@@ -73,6 +73,8 @@ public:
|
|
|
73
73
|
/// Overloading Operator==
|
|
74
74
|
bool operator<(const ExeState &rhs) const;
|
|
75
75
|
|
|
76
|
+
|
|
77
|
+
|
|
76
78
|
z3::context &getContext() {
|
|
77
79
|
return Z3Expr::getContext();
|
|
78
80
|
}
|
|
@@ -136,6 +138,9 @@ public:
|
|
|
136
138
|
/// Print values of all expressions
|
|
137
139
|
void printExprValues();
|
|
138
140
|
|
|
141
|
+
private:
|
|
142
|
+
bool eqVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs) const;
|
|
143
|
+
bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs) const;
|
|
139
144
|
protected:
|
|
140
145
|
inline void store(u32_t objId, const Z3Expr &z3Expr) {
|
|
141
146
|
locToVal[objId] = z3Expr.simplify();
|