diff options
| -rwxr-xr-x | example/samples/dse_crackme | bin | 0 -> 12928 bytes | |||
| -rw-r--r-- | example/samples/sc_connect_back.bin | bin | 290 -> 0 bytes | |||
| -rwxr-xr-x | test/test_all.py | 23 |
3 files changed, 12 insertions, 11 deletions
diff --git a/example/samples/dse_crackme b/example/samples/dse_crackme new file mode 100755 index 00000000..0fdfb0de --- /dev/null +++ b/example/samples/dse_crackme Binary files differdiff --git a/example/samples/sc_connect_back.bin b/example/samples/sc_connect_back.bin deleted file mode 100644 index 9e9c80a5..00000000 --- a/example/samples/sc_connect_back.bin +++ /dev/null Binary files differdiff --git a/test/test_all.py b/test/test_all.py index 48ac04ca..a69ec229 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 @@ -577,8 +579,8 @@ class ExampleExpression(Example): for args in [[], ["--symb"]]: testset += ExampleExpression(["graph_dataflow.py", - Example.get_sample("sc_connect_back.bin"), - "0x2e"] + args, + Example.get_sample("simple_test.bin"), + "0x0"] + args, products=["data.dot"]) testset += ExampleExpression(["asm_to_ir.py"], products=["graph.dot", "graph2.dot"]) @@ -643,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"), @@ -688,7 +684,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 +851,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 = [] |