diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2017-03-30 16:24:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-30 16:24:26 +0200 |
| commit | 7947f33a61118c35a6b24aaac29337e2739216b4 (patch) | |
| tree | 6c281f7fc4efd326fb95151173b7847026a94f05 /example/expression/solve_condition_stp.py | |
| parent | cedf19e7d73ca8d603f2e1ed7f5306db27678e65 (diff) | |
| parent | e8916cf8cc44a0cc375af762b38798cb378b986c (diff) | |
| download | miasm-7947f33a61118c35a6b24aaac29337e2739216b4.tar.gz miasm-7947f33a61118c35a6b24aaac29337e2739216b4.zip | |
Merge pull request #509 from commial/fix/int-singleton
Fix/int singleton
Diffstat (limited to 'example/expression/solve_condition_stp.py')
| -rw-r--r-- | example/expression/solve_condition_stp.py | 3 |
1 files changed, 2 insertions, 1 deletions
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): |