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/graph_dataflow.py | |
| parent | fc6bb3ce49ea44012a762b207a39301825e9648a (diff) | |
| download | focaccia-miasm-215c5ebfe9d0beed56f9391cb517ccbb7fa4f4f8.tar.gz focaccia-miasm-215c5ebfe9d0beed56f9391cb517ccbb7fa4f4f8.zip | |
Analysis: dead simp to class
Diffstat (limited to 'example/expression/graph_dataflow.py')
| -rw-r--r-- | example/expression/graph_dataflow.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/example/expression/graph_dataflow.py b/example/expression/graph_dataflow.py index c320fba0..e7386e9e 100644 --- a/example/expression/graph_dataflow.py +++ b/example/expression/graph_dataflow.py @@ -9,7 +9,7 @@ from miasm.expression.expression import get_expr_mem from miasm.analysis.data_analysis import intra_block_flow_raw, inter_block_flow from miasm.core.graph import DiGraph from miasm.ir.symbexec import SymbolicExecutionEngine -from miasm.analysis.data_flow import dead_simp +from miasm.analysis.data_flow import DeadRemoval parser = ArgumentParser("Simple expression use for generating dataflow graph") @@ -88,7 +88,7 @@ def gen_block_data_flow_graph(ir_arch, ircfg, ad, block_flow_cb): for irblock in viewvalues(ircfg.blocks): print(irblock) - dead_simp(ir_arch, ircfg) + deadrm(ircfg) irblock_0 = None @@ -140,6 +140,8 @@ print('ok') print('generating dataflow graph for:') ir_arch_analysis = machine.ira(mdis.loc_db) ircfg = ir_arch_analysis.new_ircfg_from_asmcfg(asmcfg) +deadrm = DeadRemoval(ir_arch_analysis) + for irblock in viewvalues(ircfg.blocks): print(irblock) |