From a5d6b89ec71b088011888636f87a5cea07c55af7 Mon Sep 17 00:00:00 2001
From: Ajax <commial@gmail.com>
Date: Wed, 29 Aug 2018 16:47:48 +0200
Subject: Mark Linux specific tests with a tag

---
 test/test_all.py | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'test/test_all.py')

diff --git a/test/test_all.py b/test/test_all.py
index 48ac04ca..a3661081 100755
--- a/test/test_all.py
+++ b/test/test_all.py
@@ -2,8 +2,9 @@
 
 import argparse
 from distutils.spawn import find_executable
-import time
 import os
+import platform
+import time
 import tempfile
 
 from utils.test import Test
@@ -20,6 +21,7 @@ TAGS = {"regression": "REGRESSION", # Regression tests
         "z3": "Z3", # Z3 dependecy is needed
         "qemu": "QEMU", # QEMU tests (several tests)
         "cparser": "CPARSER", # pycparser is needed
+        "linux": "LINUX", # Test must be run on a Linux
         }
 
 # Regression tests
@@ -688,7 +690,7 @@ for jitter in ExampleJitter.jitter_engines:
                              products=[Example.get_sample("box_upx_exe_unupx.bin")],
                              tags=tags.get(jitter, []))
     if jitter != "python":
-        tags = tags.get(jitter, []) + [TAGS["long"]]
+        tags = tags.get(jitter, []) + [TAGS["long"], TAGS["linux"]]
         ls_path = find_executable("ls")
         file_path = find_executable("file")
         # Launch simulation of "file /bin/ls", with access to libs and ld info
@@ -855,6 +857,11 @@ By default, all tag are considered." % ", ".join(TAGS.keys()), default="")
         if TAGS["cparser"] not in exclude_tags:
             exclude_tags.append(TAGS["cparser"])
 
+    # Handle Linux tests
+    if platform.system() != "Linux":
+        if TAGS["linux"] not in exclude_tags:
+            exclude_tags.append(TAGS["linux"])
+
     test_ko = []
     test_ok = []
 
-- 
cgit 1.4.1


From 259115571a191386db7da1a6ebd4d02baaac2bc9 Mon Sep 17 00:00:00 2001
From: Ajax <commial@gmail.com>
Date: Wed, 29 Aug 2018 16:50:38 +0200
Subject: Use the dse_crackme compiled version

---
 example/samples/dse_crackme | Bin 0 -> 12928 bytes
 test/test_all.py            |   8 +-------
 2 files changed, 1 insertion(+), 7 deletions(-)
 create mode 100755 example/samples/dse_crackme

(limited to 'test/test_all.py')

diff --git a/example/samples/dse_crackme b/example/samples/dse_crackme
new file mode 100755
index 00000000..0fdfb0de
Binary files /dev/null and b/example/samples/dse_crackme differ
diff --git a/test/test_all.py b/test/test_all.py
index a3661081..efd69706 100755
--- a/test/test_all.py
+++ b/test/test_all.py
@@ -645,16 +645,10 @@ for options, nb_sol, tag in [([], 4, []),
                                  depends=[test_x86_32_if_reg],
                                  tags=tag)
 
-dse_crackme_out = Example.get_sample("dse_crackme.c")[:-2]
-dse_crackme = ExampleSymbolExec([Example.get_sample("dse_crackme.c"),
-                                 "-o", dse_crackme_out],
-                                products=[dse_crackme_out],
-                                executable="cc")
-testset += dse_crackme
+dse_crackme_out = Example.get_sample("dse_crackme")
 for strategy in ["code-cov", "branch-cov", "path-cov"]:
     testset += ExampleSymbolExec(["dse_crackme.py", dse_crackme_out,
                                   "--strategy", strategy],
-                                 depends=[dse_crackme],
                                  tags=[TAGS["z3"]])
     testset += ExampleSymbolExec(["dse_strategies.py",
                                   Example.get_sample("simple_test.bin"),
-- 
cgit 1.4.1