diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-31 23:56:13 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-08-01 00:00:52 +0200 |
| commit | c037cdf801774bf40fbc71528ad3dac5275d4764 (patch) | |
| tree | 93ad74cc40d454e198d9033e7cef5566e3e171b6 | |
| parent | 70f233934b2b46e927d96a3eb74a491e13eb3ec0 (diff) | |
| download | miasm-c037cdf801774bf40fbc71528ad3dac5275d4764.tar.gz miasm-c037cdf801774bf40fbc71528ad3dac5275d4764.zip | |
Analysis: fix block simp (bad block ref)
| -rw-r--r-- | miasm2/analysis/data_flow.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/miasm2/analysis/data_flow.py b/miasm2/analysis/data_flow.py index a560e9b8..0a224319 100644 --- a/miasm2/analysis/data_flow.py +++ b/miasm2/analysis/data_flow.py @@ -354,7 +354,9 @@ def _relink_block_node(ircfg, loc_key, son_loc_key, replace_dct): Link loc_key's parents to parents directly to son_loc_key """ for parent in set(ircfg.predecessors(loc_key)): - parent_block = ircfg.blocks[parent] + parent_block = ircfg.blocks.get(parent, None) + if parent_block is None: + continue new_block = parent_block.modify_exprs( lambda expr:expr.replace_expr(replace_dct), |