diff options
| author | Camille Mougey <commial@gmail.com> | 2018-07-19 12:50:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-19 12:50:46 +0200 |
| commit | 294bf075ba6c46743b36e04b8245df88d5783ff5 (patch) | |
| tree | 0d956d4c0a5ed3793a6137723afd845161e2f21c | |
| parent | 300b8e412a615fcc7f125126fab25aae5889af1c (diff) | |
| parent | ac456dd9deabb80bf414f815677d6759004ad40e (diff) | |
| download | miasm-294bf075ba6c46743b36e04b8245df88d5783ff5.tar.gz miasm-294bf075ba6c46743b36e04b8245df88d5783ff5.zip | |
Merge pull request #810 from serpilliere/fix_dead_simp
Dataflow: do not remote exception_flags in dead_simp
| -rw-r--r-- | miasm2/analysis/data_flow.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/miasm2/analysis/data_flow.py b/miasm2/analysis/data_flow.py index 62176bb1..bba598e0 100644 --- a/miasm2/analysis/data_flow.py +++ b/miasm2/analysis/data_flow.py @@ -229,6 +229,7 @@ def dead_simp_useful_assignblks(irarch, defuse, reaching_defs): for lval, rval in assignblk.iteritems(): if (lval.is_mem() or irarch.IRDst == lval or + lval.is_id("exception_flags") or rval.is_function_call()): useful.add(AssignblkNode(block_lbl, index, lval)) |