From 215c5ebfe9d0beed56f9391cb517ccbb7fa4f4f8 Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Mon, 18 Mar 2019 09:06:32 +0100 Subject: Analysis: dead simp to class --- test/analysis/data_flow.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'test/analysis/data_flow.py') diff --git a/test/analysis/data_flow.py b/test/analysis/data_flow.py index 259aca7c..98efecbe 100644 --- a/test/analysis/data_flow.py +++ b/test/analysis/data_flow.py @@ -5,7 +5,7 @@ from future.utils import viewitems from miasm.expression.expression import ExprId, ExprInt, ExprAssign, ExprMem from miasm.core.locationdb import LocationDB -from miasm.analysis.data_flow import * +from miasm.analysis.data_flow import DeadRemoval, ReachingDefinitions, DiGraphDefUse from miasm.ir.analysis import ira from miasm.ir.ir import IRBlock, AssignBlock @@ -82,6 +82,7 @@ class IRATest(ira): return set([self.ret_reg, self.sp]) IRA = IRATest(loc_db) +deadrm = DeadRemoval(IRA) # graph 1 : Simple graph with dead and alive variables @@ -696,7 +697,7 @@ for test_nb, test in enumerate([(G1_IRA, G1_EXP_IRA), defuse = DiGraphDefUse(reaching_defs, deref_mem=True) # # Simplify graph - dead_simp(IRA, g_ira) + deadrm(g_ira) # # Print simplified graph, for debug open("simp_graph_%02d.dot" % (test_nb+1), "w").write(g_ira.dot()) -- cgit 1.4.1