diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2017-03-29 13:03:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-29 13:03:54 +0200 |
| commit | cedf19e7d73ca8d603f2e1ed7f5306db27678e65 (patch) | |
| tree | 83b742874821aa7b7e22eb753619b25908d4b94e /test/test_all.py | |
| parent | 519ff151baef8adff65674508c303cb125b8fd54 (diff) | |
| parent | 5d10f696e0e278318c37d386225dd5c2945a952b (diff) | |
| download | miasm-cedf19e7d73ca8d603f2e1ed7f5306db27678e65.tar.gz miasm-cedf19e7d73ca8d603f2e1ed7f5306db27678e65.zip | |
Merge pull request #508 from carolineLe/def_use
analysis: Introduction of use-definition chains
Diffstat (limited to 'test/test_all.py')
| -rwxr-xr-x | test/test_all.py | 17 |
1 files changed, 9 insertions, 8 deletions
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"), |