diff options
Diffstat (limited to '')
| -rw-r--r-- | miasm/analysis/data_flow.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/miasm/analysis/data_flow.py b/miasm/analysis/data_flow.py index bc6eab47..40a3b94e 100644 --- a/miasm/analysis/data_flow.py +++ b/miasm/analysis/data_flow.py @@ -2183,7 +2183,8 @@ class PropagateExpressions(object): ): continue - + if state_orig: + state.undefined.update(state_orig.undefined) states[loc_key] = state # Propagate to sons for successor in ircfg.successors(loc_key): |