diff options
| author | Camille Mougey <commial@gmail.com> | 2016-12-23 17:47:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-23 17:47:46 +0100 |
| commit | da74f9672cd53999b3b0aecd80108a85e7b5dec4 (patch) | |
| tree | 470685abcee2084efbde7a41277d50c92ec46a40 /example/expression/solve_condition_stp.py | |
| parent | 336081ceab4c81502dfe9092acdc7fadb8eb0811 (diff) | |
| parent | 494ba6e2b3711b519d7f99f2867e293b0f1650eb (diff) | |
| download | miasm-da74f9672cd53999b3b0aecd80108a85e7b5dec4.tar.gz miasm-da74f9672cd53999b3b0aecd80108a85e7b5dec4.zip | |
Merge pull request #463 from serpilliere/add_expr_type_access
Add expr type access
Diffstat (limited to 'example/expression/solve_condition_stp.py')
| -rw-r--r-- | example/expression/solve_condition_stp.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/example/expression/solve_condition_stp.py b/example/expression/solve_condition_stp.py index 93c17018..67d536d5 100644 --- a/example/expression/solve_condition_stp.py +++ b/example/expression/solve_condition_stp.py @@ -80,11 +80,11 @@ def emul_symb(ir_arch, mdis, states_todo, states_done): # Create 2 states, each including complementary conditions p1 = sb.symbols.copy() p2 = sb.symbols.copy() - c1 = {ad.cond: ExprInt_from(ad.cond, 0)} - c2 = {ad.cond: ExprInt_from(ad.cond, 1)} + c1 = {ad.cond: ExprInt(0, ad.cond.size)} + c2 = {ad.cond: ExprInt(1, ad.cond.size)} print ad.cond - p1[ad.cond] = ExprInt_from(ad.cond, 0) - p2[ad.cond] = ExprInt_from(ad.cond, 1) + p1[ad.cond] = ExprInt(0, ad.cond.size) + p2[ad.cond] = ExprInt(1, ad.cond.size) ad1 = expr_simp(sb.eval_expr(ad.replace_expr(c1), {})) ad2 = expr_simp(sb.eval_expr(ad.replace_expr(c2), {})) if not (isinstance(ad1, ExprInt) or (isinstance(ad1, ExprId) and isinstance(ad1.name, asmbloc.asm_label)) and |