diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-12-24 13:53:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-24 13:53:58 +0100 |
| commit | 40d150d0089494d07dd5e10bc7625df41fbf3f68 (patch) | |
| tree | 0497efad2639ba229d40a47649cda24440dcbce4 | |
| parent | 88314909a30c4a996e1f3fa2859862f37e6e5fdf (diff) | |
| parent | b681bdf9ffee707e071d4d2b601130ca8d66a5fa (diff) | |
| download | miasm-40d150d0089494d07dd5e10bc7625df41fbf3f68.tar.gz miasm-40d150d0089494d07dd5e10bc7625df41fbf3f68.zip | |
Merge pull request #1331 from serpilliere/fix_propagate_undef
Fix propagate undef
| -rw-r--r-- | miasm/analysis/data_flow.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/miasm/analysis/data_flow.py b/miasm/analysis/data_flow.py index 0a96ae8d..4f369965 100644 --- a/miasm/analysis/data_flow.py +++ b/miasm/analysis/data_flow.py @@ -1971,10 +1971,6 @@ class State(object): if not self.propagation_allowed(src): continue - ## Dont create equivalence if dependence on undef - if dst.is_mem() and self.may_interfer(self.undefined, dst.ptr): - continue - self.undefined.discard(dst) if dst in self.equivalence_classes.nodes(): self.equivalence_classes.del_element(dst) |