diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-04 15:19:40 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-19 10:34:23 +0200 |
| commit | ac456dd9deabb80bf414f815677d6759004ad40e (patch) | |
| tree | 0d956d4c0a5ed3793a6137723afd845161e2f21c /miasm2/analysis/data_flow.py | |
| parent | 300b8e412a615fcc7f125126fab25aae5889af1c (diff) | |
| download | miasm-ac456dd9deabb80bf414f815677d6759004ad40e.tar.gz miasm-ac456dd9deabb80bf414f815677d6759004ad40e.zip | |
Dataflow: do not remote exception_flags in dead_simp
Diffstat (limited to 'miasm2/analysis/data_flow.py')
| -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)) |