From 1ef55093b9afdc2025dbe0bd5bc82993eb433a31 Mon Sep 17 00:00:00 2001 From: Kevin Phoenix Date: Mon, 24 Jun 2024 11:36:24 -0700 Subject: [PATCH] Skip test_indirectcfi when Z3 times out (#55) * Skip test_indirectcfi when Z3 times out * Fix exception name --- tests/test_techniques.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tests/test_techniques.py b/tests/test_techniques.py index 3db1c9a..7c55bc4 100755 --- a/tests/test_techniques.py +++ b/tests/test_techniques.py @@ -8,6 +8,9 @@ from functools import wraps import tempfile import random +import unittest + +import claripy import patcherex from patcherex.patch_master import PatchMaster @@ -496,7 +499,11 @@ def test_indirectcfi(BackendClass, data_fallback, try_pdf_removal): patched_fname1 = os.path.join(td, "patched") backend = BackendClass(vulnerable_fname1,data_fallback,try_pdf_removal=try_pdf_removal) cp = IndirectCFI(vulnerable_fname1, backend) - patches = cp.get_patches() + try: + # FIXME: This times out in CI! See https://github.com/angr/patcherex/issues/54 + patches = cp.get_patches() + except claripy.errors.ClaripySolverInterruptError as ex: + raise unittest.SkipTest from ex backend.apply_patches(patches) backend.save(patched_fname1) # backend.save("/tmp/aaa")