diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-12-20 10:07:47 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-01-15 15:16:34 +0100 |
| commit | a89cc198f018588c62c76f895eb80f9ec0d63787 (patch) | |
| tree | 4bec47bfd2ee67e10f037ecb5dab5f3c64241657 /example/ida/graph_ir.py | |
| parent | eb9b59dd4b4805dee549b69f024019f9d25b2fa5 (diff) | |
| download | focaccia-miasm-a89cc198f018588c62c76f895eb80f9ec0d63787.tar.gz focaccia-miasm-a89cc198f018588c62c76f895eb80f9ec0d63787.zip | |
SSA: make ssa_variable_to_expr public
Diffstat (limited to 'example/ida/graph_ir.py')
| -rw-r--r-- | example/ida/graph_ir.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/example/ida/graph_ir.py b/example/ida/graph_ir.py index b204b2b8..31d1c21c 100644 --- a/example/ida/graph_ir.py +++ b/example/ida/graph_ir.py @@ -260,13 +260,13 @@ def build_graph(verbose=False, simplify=False, ssa=False, ssa_simplify=False): ssa.transform(head) - all_ssa_vars.update(ssa._ssa_variable_to_expr) + all_ssa_vars.update(ssa.ssa_variable_to_expr) ssa_regs = [reg for reg in ssa.expressions if reg.is_id()] ssa_forbidden_regs.update(ssa_regs) - ir_arch.ssa_var.update(ssa._ssa_variable_to_expr) + ir_arch.ssa_var.update(ssa.ssa_variable_to_expr) while modified: index += 1 @@ -290,8 +290,8 @@ def build_graph(verbose=False, simplify=False, ssa=False, ssa_simplify=False): ssa = SSADiGraph(ircfg) ssa.immutable_ids.update(ssa_forbidden_regs) ssa.transform(head) - all_ssa_vars.update(ssa._ssa_variable_to_expr) - ssa._ssa_variable_to_expr = all_ssa_vars + all_ssa_vars.update(ssa.ssa_variable_to_expr) + ssa.ssa_variable_to_expr = all_ssa_vars dead_simp(ir_arch, ssa.graph) title += " (SSA Simplified)" |