diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-03-18 09:06:32 +0100 |
|---|---|---|
| committer | serpilliere <serpilliere@droids-corp.org> | 2020-02-14 16:41:23 +0100 |
| commit | 215c5ebfe9d0beed56f9391cb517ccbb7fa4f4f8 (patch) | |
| tree | 37fef0c8bf6d0daed22ad73bcf1dfa4295280ab5 /example/expression/constant_propagation.py | |
| parent | fc6bb3ce49ea44012a762b207a39301825e9648a (diff) | |
| download | focaccia-miasm-215c5ebfe9d0beed56f9391cb517ccbb7fa4f4f8.tar.gz focaccia-miasm-215c5ebfe9d0beed56f9391cb517ccbb7fa4f4f8.zip | |
Analysis: dead simp to class
Diffstat (limited to 'example/expression/constant_propagation.py')
| -rw-r--r-- | example/expression/constant_propagation.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/example/expression/constant_propagation.py b/example/expression/constant_propagation.py index a6efbb46..36a548c5 100644 --- a/example/expression/constant_propagation.py +++ b/example/expression/constant_propagation.py @@ -9,7 +9,7 @@ from argparse import ArgumentParser from miasm.analysis.machine import Machine from miasm.analysis.binary import Container from miasm.analysis.cst_propag import propagate_cst_expr -from miasm.analysis.data_flow import dead_simp, \ +from miasm.analysis.data_flow import DeadRemoval, \ merge_blocks, remove_empty_assignblks from miasm.expression.simplifications import expr_simp @@ -29,6 +29,7 @@ cont = Container.from_stream(open(args.filename, 'rb')) mdis = machine.dis_engine(cont.bin_stream, loc_db=cont.loc_db) ir_arch = machine.ira(mdis.loc_db) addr = int(args.address, 0) +deadrm = DeadRemoval(ir_arch) asmcfg = mdis.dis_multiblock(addr) ircfg = ir_arch.new_ircfg_from_asmcfg(asmcfg) @@ -42,7 +43,7 @@ if args.simplify: modified = True while modified: modified = False - modified |= dead_simp(ir_arch, ircfg) + modified |= deadrm(ircfg) modified |= remove_empty_assignblks(ircfg) modified |= merge_blocks(ircfg, entry_points) |