about summary refs log tree commit diff stats
path: root/miasm2/analysis/depgraph.py
diff options
context:
space:
mode:
authorFabrice Desclaux <fabrice.desclaux@cea.fr>2018-09-20 07:53:13 +0200
committerFabrice Desclaux <fabrice.desclaux@cea.fr>2018-10-01 06:55:22 +0200
commit9c4c548e372311f6d685647b3cfed35e1579ad54 (patch)
treee29e888313ab79d5150ecd517c0fe3d8ada8e977 /miasm2/analysis/depgraph.py
parent9c8596646ba6150694deb984f25aaad73d2c7125 (diff)
downloadmiasm-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.py6
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)