From b56bafa0e4723ad42eecbdc7d26e17fdec5d9041 Mon Sep 17 00:00:00 2001 From: Ajax Date: Tue, 17 Nov 2015 10:13:09 +0100 Subject: Symbexec: func_write callback doesn't need anymore last arg It was used as a destination cache --- miasm2/jitter/jitcore_python.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'miasm2/jitter/jitcore_python.py') 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) -- cgit 1.4.1 From 13fc338810552f32de501e41adf8e1aa336de6f5 Mon Sep 17 00:00:00 2001 From: Ajax Date: Tue, 17 Nov 2015 10:19:41 +0100 Subject: JitterPython: init registers with 0 instead of symbol --- miasm2/jitter/jitcore_python.py | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'miasm2/jitter/jitcore_python.py') diff --git a/miasm2/jitter/jitcore_python.py b/miasm2/jitter/jitcore_python.py index 187647b3..e29c81c0 100644 --- a/miasm2/jitter/jitcore_python.py +++ b/miasm2/jitter/jitcore_python.py @@ -57,10 +57,8 @@ class JitCore_Python(jitcore.JitCore): def load(self): "Preload symbols according to current architecture" - symbols_init = {} - for r in self.ir_arch.arch.regs.all_regs_ids_no_alias: - symbols_init[r] = self.ir_arch.arch.regs.regs_init[r] - + symbols_init = {r:m2_expr.ExprInt(0, size=r.size) + for r in self.ir_arch.arch.regs.all_regs_ids_no_alias} self.symbexec = symbexec(self.ir_arch, symbols_init, func_read = self.func_read, func_write = self.func_write) -- cgit 1.4.1