diff options
| author | Ajax <commial@gmail.com> | 2015-11-17 10:13:09 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2015-11-17 10:39:42 +0100 |
| commit | b56bafa0e4723ad42eecbdc7d26e17fdec5d9041 (patch) | |
| tree | ffa24a17eafaaf598d0b85aa1b5479669b87155b | |
| parent | f2bf75cfd3ce105735b802458978779c887d1885 (diff) | |
| download | miasm-b56bafa0e4723ad42eecbdc7d26e17fdec5d9041.tar.gz miasm-b56bafa0e4723ad42eecbdc7d26e17fdec5d9041.zip | |
Symbexec: func_write callback doesn't need anymore last arg
It was used as a destination cache
| -rw-r--r-- | miasm2/ir/symbexec.py | 2 | ||||
| -rw-r--r-- | miasm2/jitter/jitcore_python.py | 5 |
2 files changed, 3 insertions, 4 deletions
diff --git a/miasm2/ir/symbexec.py b/miasm2/ir/symbexec.py index 162f566c..9ac79b1f 100644 --- a/miasm2/ir/symbexec.py +++ b/miasm2/ir/symbexec.py @@ -410,7 +410,7 @@ class symbexec(object): self.symbols[dst] = src_o if isinstance(dst, m2_expr.ExprMem): if self.func_write and isinstance(dst.arg, m2_expr.ExprInt): - self.func_write(self, dst, src_o, {}) + self.func_write(self, dst, src_o) del self.symbols[dst] mem_dst.append(dst) return mem_dst diff --git a/miasm2/jitter/jitcore_python.py b/miasm2/jitter/jitcore_python.py index 96db3a2b..187647b3 100644 --- a/miasm2/jitter/jitcore_python.py +++ b/miasm2/jitter/jitcore_python.py @@ -76,12 +76,11 @@ class JitCore_Python(jitcore.JitCore): return m2_expr.ExprInt(int(value[::-1].encode("hex"), 16), expr_mem.size) - def func_write(self, symb_exec, dest, data, mem_cache): + def func_write(self, symb_exec, dest, data): """Memory read wrapper for symbolic execution @symb_exec: symbexec instance @dest: ExprMem instance - @data: Expr instance - @mem_cache: dict""" + @data: Expr instance""" # Get the content to write data = expr_simp(data) |