diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-09-20 07:53:13 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-10-01 06:55:22 +0200 |
| commit | 9c4c548e372311f6d685647b3cfed35e1579ad54 (patch) | |
| tree | e29e888313ab79d5150ecd517c0fe3d8ada8e977 /miasm2/analysis/depgraph.py | |
| parent | 9c8596646ba6150694deb984f25aaad73d2c7125 (diff) | |
| download | miasm-9c4c548e372311f6d685647b3cfed35e1579ad54.tar.gz miasm-9c4c548e372311f6d685647b3cfed35e1579ad54.zip | |
Expresion: use ExprAssign instead of ExprAff
ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss)
Diffstat (limited to '')
| -rw-r--r-- | miasm2/analysis/depgraph.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/miasm2/analysis/depgraph.py b/miasm2/analysis/depgraph.py index 0d4a3719..5923e7ed 100644 --- a/miasm2/analysis/depgraph.py +++ b/miasm2/analysis/depgraph.py @@ -1,6 +1,6 @@ """Provide dependency graph""" -from miasm2.expression.expression import ExprInt, ExprLoc, ExprAff +from miasm2.expression.expression import ExprInt, ExprLoc, ExprAssign from miasm2.core.graph import DiGraph from miasm2.core.locationdb import LocationDB from miasm2.expression.simplifications import expr_simp_explicit @@ -319,7 +319,7 @@ class DependencyResultImplicit(DependencyResult): # Z3 Solver instance _solver = None - unsat_expr = ExprAff(ExprInt(0, 1), ExprInt(1, 1)) + unsat_expr = ExprAssign(ExprInt(0, 1), ExprInt(1, 1)) def _gen_path_constraints(self, translator, expr, expected): """Generate path constraint from @expr. Handle special case with @@ -341,7 +341,7 @@ class DependencyResultImplicit(DependencyResult): conds = z3.And( conds, translator.from_expr( - ExprAff(value, + ExprAssign(value, expected)) ) out.append(conds) |