diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-02-07 20:28:58 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-02-18 22:39:02 +0100 |
| commit | f89a9e302e087dbb34de2dff47bc236a0ece36c6 (patch) | |
| tree | 5dd5c5ac3f26e056d0c6ba14d4c038e40a7e8df3 /miasm2/analysis/data_flow.py | |
| parent | fa72d644be96d4e2a4e98f8061bd80266827ad51 (diff) | |
| download | focaccia-miasm-f89a9e302e087dbb34de2dff47bc236a0ece36c6.tar.gz focaccia-miasm-f89a9e302e087dbb34de2dff47bc236a0ece36c6.zip | |
Propagation: Don't propagate immutable registers
Diffstat (limited to 'miasm2/analysis/data_flow.py')
| -rw-r--r-- | miasm2/analysis/data_flow.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/miasm2/analysis/data_flow.py b/miasm2/analysis/data_flow.py index a08acbd9..53033d7e 100644 --- a/miasm2/analysis/data_flow.py +++ b/miasm2/analysis/data_flow.py @@ -708,6 +708,8 @@ class PropagateExpr(object): to_replace = {} node_to_reg = {} for node in defuse.nodes(): + if node.var in ssa.immutable_ids: + continue src = defuse.get_node_target(node) if expr_has_call(src): continue |