diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-04-18 14:28:47 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-05-04 00:21:49 +0200 |
| commit | d3e9c86fb0ae48a8b79514b2072c808a58092954 (patch) | |
| tree | 97501755f6377db3501be6bb31ffabb9b86fe6b6 | |
| parent | 96e686195bbf982e830584f517bbe4201c6890d9 (diff) | |
| download | miasm-d3e9c86fb0ae48a8b79514b2072c808a58092954.tar.gz miasm-d3e9c86fb0ae48a8b79514b2072c808a58092954.zip | |
Merge undef between previous state and new one
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): |