From 5d10f696e0e278318c37d386225dd5c2945a952b Mon Sep 17 00:00:00 2001 From: Caroline Leman Date: Fri, 10 Mar 2017 15:45:01 +0100 Subject: analysis: Introduction of use-definition chains - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified' --- test/test_all.py | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'test/test_all.py') diff --git a/test/test_all.py b/test/test_all.py index 4f3ea760..45f5ac97 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -246,11 +246,7 @@ for script in ["modint.py", for script in ["symbexec.py", ]: testset += RegressionTest([script], base_dir="ir") -testset += RegressionTest(["analysis.py"], base_dir="ir", - products=[fname for fnames in ( - ["simp_graph_%02d.dot" % test_nb, "graph_%02d.dot" % test_nb] - for test_nb in xrange(1, 18)) - for fname in fnames]) + testset += RegressionTest(["z3_ir.py"], base_dir="ir/translators", tags=[TAGS["z3"]]) testset += RegressionTest(["smt2.py"], base_dir="ir/translators", @@ -277,6 +273,11 @@ testset += RegressionTest(["modularintervals.py"], base_dir="analysis") testset += RegressionTest(["range.py"], base_dir="analysis", tags=[TAGS["z3"]]) +testset += RegressionTest(["data_flow.py"], base_dir="analysis", + products=[fname for fnames in ( + ["simp_graph_%02d.dot" % test_nb, "graph_%02d.dot" % test_nb] + for test_nb in xrange(1, 18)) + for fname in fnames]) ## Degraph class TestDepgraph(RegressionTest): @@ -464,9 +465,9 @@ class ExampleDisasmFull(ExampleDisassembler): def __init__(self, *args, **kwargs): super(ExampleDisasmFull, self).__init__(*args, **kwargs) - self.command_line = ["full.py", "-g", "-s", "-m"] + self.command_line - self.products += ["graph_execflow.dot", "graph_irflow.dot", - "graph_irflow_raw.dot", "lines.dot"] + self.command_line = ["full.py", "-g", "-s", "-d", "-m"] + self.command_line + self.products += ["graph_defuse.dot", "graph_execflow.dot", + "graph_irflow.dot", "graph_irflow_raw.dot", "lines.dot"] testset += ExampleDisasmFull(["arml", Example.get_sample("demo_arm_l.bin"), -- cgit 1.4.1