diff options
| author | Caroline Leman <caroline.leman@cea.fr> | 2017-03-10 15:45:01 +0100 |
|---|---|---|
| committer | Caroline Leman <caroline.leman@cea.fr> | 2017-03-29 12:33:05 +0200 |
| commit | 5d10f696e0e278318c37d386225dd5c2945a952b (patch) | |
| tree | cb7748f0334f68f9b967942e1f0e87f4a7a8a480 /example/ida/graph_ir.py | |
| parent | df82c4cd967f269860355ae52a1dbb9901e91a76 (diff) | |
| download | focaccia-miasm-5d10f696e0e278318c37d386225dd5c2945a952b.tar.gz focaccia-miasm-5d10f696e0e278318c37d386225dd5c2945a952b.zip | |
analysis: Introduction of use-definition chains
- previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
Diffstat (limited to 'example/ida/graph_ir.py')
| -rw-r--r-- | example/ida/graph_ir.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/example/ida/graph_ir.py b/example/ida/graph_ir.py index 3aac0281..d2552c82 100644 --- a/example/ida/graph_ir.py +++ b/example/ida/graph_ir.py @@ -10,7 +10,7 @@ from miasm2.expression.simplifications import expr_simp from miasm2.expression.expression import * from miasm2.analysis.data_analysis import inter_bloc_flow, \ intra_bloc_flow_symbexec - +from miasm2.analysis.data_flow import dead_simp from utils import guess_machine, expr2colorstr @@ -144,7 +144,7 @@ out = ir_arch.graph.dot() open(os.path.join(tempfile.gettempdir(), 'graph.dot'), 'wb').write(out) -# ir_arch.dead_simp() +# dead_simp(ir_arch) g = GraphMiasmIR(ir_arch, "Miasm IR graph", None) @@ -198,7 +198,7 @@ def get_modified_symbols(sb): def gen_bloc_data_flow_graph(ir_arch, in_str, ad): # arch, attrib, pool_bin, bloc, symbol_pool): out_str = "" - # ir_arch.dead_simp() + # dead_simp(ir_arch) irbloc_0 = None for irbloc in ir_arch.blocks.values(): |