test failure
Traceback (most recent call last):
  File "/__w/cle/cle/build/src/patcherex/tests/test_techniques.py", line 113, in wrapper
    f(make_edible(ReassemblerBackend), None, True)
  File "/__w/cle/cle/build/src/patcherex/tests/test_techniques.py", line 499, in test_indirectcfi
    patches = cp.get_patches()
  File "/__w/cle/cle/build/src/patcherex/patcherex/techniques/indirectcfi.py", line 244, in get_patches
    self.safe_addrs = self.get_safe_functions()
  File "/__w/cle/cle/build/src/patcherex/patcherex/techniques/indirectcfi.py", line 189, in get_safe_functions
    self.patcher.cfg, self.patcher.identifier)
  File "/__w/cle/cle/build/src/patcherex/patcherex/backend.py", line 78, in identifier
    self._identifer = self.project.analyses.Identifier(self.cfg, require_predecessors=False)
  File "/__w/cle/cle/build/src/angr/angr/analyses/analysis.py", line 216, in __call__
    r = w(*args, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/analyses/analysis.py", line 201, in wrapper
    oself.__init__(*args, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/analyses/identifier/identify.py", line 98, in __init__
    func_info = self.find_stack_vars_x86(f)
  File "/__w/cle/cle/build/src/angr/angr/analyses/identifier/identify.py", line 535, in find_stack_vars_x86
    if self._sets_ebp_from_esp(initial_state, end_addr):
  File "/__w/cle/cle/build/src/angr/angr/analyses/identifier/identify.py", line 735, in _sets_ebp_from_esp
    succ = self.project.factory.successors(state).all_successors[0]
  File "/__w/cle/cle/build/src/angr/angr/factory.py", line 77, in successors
    return self.default_engine.process(*args, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/light/slicing.py", line 20, in process
    return super().process(*args, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/engines/engine.py", line 163, in process
    self.process_successors(self.successors, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/engines/failure.py", line 24, in process_successors
    return super().process_successors(successors, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/engines/syscall.py", line 26, in process_successors
    return super().process_successors(successors, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/engines/hook.py", line 56, in process_successors
    return super().process_successors(successors, procedure=procedure, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/engines/unicorn.py", line 389, in process_successors
    return super().process_successors(successors, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/engines/soot/engine.py", line 68, in process_successors
    return super().process_successors(successors, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/heavy/heavy.py", line 174, in process_successors
    self.handle_vex_block(irsb)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/heavy/super_fastpath.py", line 25, in handle_vex_block
    super().handle_vex_block(irsb)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/light/slicing.py", line 26, in handle_vex_block
    super().handle_vex_block(irsb)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/heavy/actions.py", line 31, in handle_vex_block
    super().handle_vex_block(irsb)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/heavy/inspect.py", line 49, in handle_vex_block
    super().handle_vex_block(irsb)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/light/light.py", line 550, in handle_vex_block
    self._handle_vex_defaultexit(irsb.next, irsb.jumpkind)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/light/slicing.py", line 36, in _handle_vex_defaultexit
    super()._handle_vex_defaultexit(expr, jumpkind)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/light/light.py", line 553, in _handle_vex_defaultexit
    self._perform_vex_defaultexit(self._analyze_vex_defaultexit(expr) if expr is not None else None, jumpkind)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/heavy/actions.py", line 237, in _perform_vex_defaultexit
    super()._perform_vex_defaultexit(target, jumpkind)
  File "/__w/cle/cle/build/src/angr/angr/engines/vex/heavy/heavy.py", line 360, in _perform_vex_defaultexit
    self.successors.add_successor(
  File "/__w/cle/cle/build/src/angr/angr/engines/successors.py", line 136, in add_successor
    self._categorize_successor(state)
  File "/__w/cle/cle/build/src/angr/angr/engines/successors.py", line 270, in _categorize_successor
    elif o.LAZY_SOLVES not in state.options and not state.satisfiable():
  File "/__w/cle/cle/build/src/angr/angr/sim_state.py", line 586, in satisfiable
    return self.solver.satisfiable(**kwargs)
  File "/__w/cle/cle/build/src/angr/angr/state_plugins/sim_action_object.py", line 61, in ast_stripper
    return f(*new_args, **new_kwargs)
  File "/__w/cle/cle/build/src/angr/angr/state_plugins/solver.py", line 93, in wrapped_f
    return f(*args, **kwargs)
  File "/__w/cle/cle/build/src/angr/angr/state_plugins/solver.py", line 755, in satisfiable
    return self._solver.satisfiable(extra_constraints=self._adjust_constraint_list(extra_constraints), exact=exact)
  File "/__w/cle/cle/build/src/claripy/claripy/frontend_mixins/constraint_filter_mixin.py", line 34, in satisfiable
    return super().satisfiable(extra_constraints=ec, **kwargs)
  File "/__w/cle/cle/build/src/claripy/claripy/frontend_mixins/sat_cache_mixin.py", line 44, in satisfiable
    r = super().satisfiable(extra_constraints=extra_constraints, **kwargs)
  File "/__w/cle/cle/build/src/claripy/claripy/frontends/composite_frontend.py", line 338, in satisfiable
    return self.check_satisfiability(extra_constraints=extra_constraints, exact=exact) == "SAT"
  File "/__w/cle/cle/build/src/claripy/claripy/frontends/composite_frontend.py", line 330, in check_satisfiability
    satness = s.check_satisfiability(exact=exact)
  File "/__w/cle/cle/build/src/claripy/claripy/frontends/full_frontend.py", line 114, in check_satisfiability
    return self._solver_backend.check_satisfiability(
  File "/__w/cle/cle/build/src/claripy/claripy/backends/__init__.py", line 682, in check_satisfiability
    return self._check_satisfiability(
  File "/__w/cle/cle/build/src/claripy/claripy/backends/__init__.py", line 697, in _check_satisfiability
    if self.satisfiable(extra_constraints=extra_constraints, solver=solver, model_callback=model_callback)
  File "/__w/cle/cle/build/src/claripy/claripy/backends/__init__.py", line 710, in satisfiable
    return self._satisfiable(
  File "/__w/cle/cle/build/src/claripy/claripy/backends/backend_z3.py", line 779, in _satisfiable
    if not z3_solver_sat(solver, extra_constraints, "satisfiable"):
  File "/__w/cle/cle/build/src/claripy/claripy/backends/backend_z3.py", line 126, in z3_solver_sat
    raise ClaripySolverInterruptError(reason)
claripy.errors.ClaripySolverInterruptError: timeout