diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-02-15 16:22:21 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-03-13 14:13:14 +0100 |
| commit | d0727aa74bf264580e82f37abc9833b75804daca (patch) | |
| tree | e5ec4298599a5907b45d009c4da2755c6ba523c0 /example/expression | |
| parent | e1fc2de7e4d8662d5b97ceb7d7a9b9ba24acddaa (diff) | |
| download | miasm-d0727aa74bf264580e82f37abc9833b75804daca.tar.gz miasm-d0727aa74bf264580e82f37abc9833b75804daca.zip | |
Asmbloc: rename asm_label to AsmLabel
Diffstat (limited to 'example/expression')
| -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 5d3ebc59..fb227345 100644 --- a/example/expression/solve_condition_stp.py +++ b/example/expression/solve_condition_stp.py @@ -36,7 +36,7 @@ if not args: def get_block(ir_arch, mdis, ad): - if isinstance(ad, asmbloc.asm_label): + if isinstance(ad, asmbloc.AsmLabel): l = ad else: l = mdis.symbol_pool.getby_offset_create(ad) @@ -87,8 +87,8 @@ def emul_symb(ir_arch, mdis, states_todo, states_done): 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 - isinstance(ad2, ExprInt) or (isinstance(ad2, ExprId) and isinstance(ad2.name, asmbloc.asm_label))): + if not (isinstance(ad1, ExprInt) or (isinstance(ad1, ExprId) and isinstance(ad1.name, asmbloc.AsmLabel)) and + isinstance(ad2, ExprInt) or (isinstance(ad2, ExprId) and isinstance(ad2.name, asmbloc.AsmLabel))): print str(ad1), str(ad2) raise ValueError("zarb condition") conds1 = list(conds) + c1.items() @@ -106,7 +106,7 @@ def emul_symb(ir_arch, mdis, states_todo, states_done): elif isinstance(ad, ExprInt): ad = int(ad.arg) states_todo.add((ad, sb.symbols.copy(), tuple(conds))) - elif isinstance(ad, ExprId) and isinstance(ad.name, asmbloc.asm_label): + elif isinstance(ad, ExprId) and isinstance(ad.name, asmbloc.AsmLabel): if isinstance(ad, ExprId): ad = ad.name states_todo.add((ad, sb.symbols.copy(), tuple(conds))) |