diff options
| author | Camille Mougey <commial@gmail.com> | 2017-04-21 12:09:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-21 12:09:33 +0200 |
| commit | 31109b86989e2e0d3bc09a0283d7518979545011 (patch) | |
| tree | 1725db71c81115d30ee5ac47208104c4f13def1a /miasm2/analysis/data_flow.py | |
| parent | 4f2f7bd6c808a87e2713c27ab2a3f1cebd778d99 (diff) | |
| parent | 102ad42976e7fcae3c67a21b61d0fe9294eb1fc4 (diff) | |
| download | miasm-31109b86989e2e0d3bc09a0283d7518979545011.tar.gz miasm-31109b86989e2e0d3bc09a0283d7518979545011.zip | |
Merge pull request #521 from serpilliere/ir_helper
Ir helper
Diffstat (limited to 'miasm2/analysis/data_flow.py')
| -rw-r--r-- | miasm2/analysis/data_flow.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/miasm2/analysis/data_flow.py b/miasm2/analysis/data_flow.py index dc1bf6ae..892a01c3 100644 --- a/miasm2/analysis/data_flow.py +++ b/miasm2/analysis/data_flow.py @@ -243,6 +243,7 @@ def dead_simp(ir_a): Source : Kennedy, K. (1979). A survey of data flow analysis techniques. IBM Thomas J. Watson Research Division, page 43 """ + modified = False reaching_defs = ReachingDefinitions(ir_a) defuse = DiGraphDefUse(reaching_defs, deref_mem=True) useful = set(dead_simp_useful_instrs(defuse, reaching_defs)) @@ -252,4 +253,6 @@ def dead_simp(ir_a): for lval in assignblk: if InstrNode(block.label, idx, lval) not in useful: del new_assignblk[lval] + modified = True block.irs[idx] = AssignBlock(new_assignblk, assignblk.instr) + return modified |