From f81c3e4b42d0ce487101b8e0802e43b32b261b1d Mon Sep 17 00:00:00 2001 From: Ajax Date: Wed, 29 Mar 2017 15:44:15 +0200 Subject: Replace ExprInt[num](x) -> ExprInt(x, num) --- example/expression/solve_condition_stp.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'example/expression/solve_condition_stp.py') diff --git a/example/expression/solve_condition_stp.py b/example/expression/solve_condition_stp.py index 03d652cf..0ca17faa 100644 --- a/example/expression/solve_condition_stp.py +++ b/example/expression/solve_condition_stp.py @@ -11,6 +11,7 @@ from miasm2.arch.x86.sem import * from miasm2.core.bin_stream import bin_stream_str from miasm2.core import asmblock from miasm2.expression.expression import get_rw +from miasm2.expression.modint import uint32 from miasm2.ir.symbexec import SymbolicExecutionEngine from miasm2.expression.simplifications import expr_simp from miasm2.expression import stp @@ -134,7 +135,7 @@ if __name__ == '__main__': reg_and_id = dict(mn_x86.regs.all_regs_ids_byname) def my_ast_int2expr(a): - return ExprInt32(a) + return ExprInt(a, 32) # Modifify parser to avoid label creation in PUSH argc def my_ast_id2expr(string_parsed): -- cgit 1.4.1