Does Angr depends on some particular features of architectures? about angr-doc HOT 3 CLOSED

CTraceback (most recent call last):
  File "Babyfuscator-solve.py", line 45, in <module>
    main()
  File "Babyfuscator-solve.py", line 33, in main
    ex = pgp.explore(find=find, avoid=avoid)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/path_group.py", line 806, in explore
    n=n)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/path_group.py", line 830, in run
    return self.step(n=n, step_func=step_func, until=until_func, stash=stash)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/path_group.py", line 520, in step
    pg = pg._one_step(stash=stash, selector_func=selector_func, successor_func=successor_func, check_func=check_func, **kwargs)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/path_group.py", line 311, in _one_step
    r = self._one_path_step(a, successor_func=successor_func, check_func=check_func, **kwargs)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/path_group.py", line 208, in _one_path_step
    successors = a.step(**kwargs)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/path.py", line 195, in step
    self._make_sim_run(throw=throw)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/path.py", line 226, in _make_sim_run
    self._run = self._project.factory.sim_run(self.state, **self._run_args)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/factory.py", line 173, in sim_run
    r = self.sim_block(state, addr=addr, **block_opts)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/angr/factory.py", line 95, in sim_block
    force_bbl_addr=force_bbl_addr)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/irsb.py", line 69, in __init__
    self._handle_irsb()
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/irsb.py", line 102, in _handle_irsb
    self._handle_statements()
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/irsb.py", line 237, in _handle_statements
    s_stmt = translate_stmt(self.irsb, stmt_idx, self.last_imark, self.state)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/statements/__init__.py", line 31, in translate_stmt
    s.process()
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/statements/base.py", line 26, in process
    self._execute()
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/statements/wrtmp.py", line 6, in _execute
    data = self._translate_expr(self.stmt.data)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/statements/base.py", line 36, in _translate_expr
    e = translate_expr(expr, self.imark, self.stmt_idx, self.state)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/expressions/__init__.py", line 14, in translate_expr
    e.process()
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/expressions/base.py", line 38, in process
    self._execute()
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/vex/expressions/get.py", line 18, in _execute
    self.expr = self.state.registers.load(self._expr.offset, size)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/storage/memory.py", line 616, in load
    a,r,c = self._load(addr_e, size_e, condition=condition_e, fallback=fallback_e)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/plugins/symbolic_memory.py", line 500, in _load
    read_value = self._read_from(addrs[0], size)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/plugins/symbolic_memory.py", line 460, in _read_from
    buf.append(last_expr.bytes_at(addr+buf_size, i-buf_size))
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/simuvex/storage/memory_object.py", line 43, in bytes_at
    return self.object[left:right]
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/claripy/ast/bv.py", line 59, in __getitem__
    return Extract(left, right, self)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/claripy/operations.py", line 50, in _op
    simp = _handle_annotations(simplifiers[name](*fixed_args), args)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/claripy/operations.py", line 492, in extract_simplifier
    val = ast.all_operations.Concat(*reversed([a.reversed for a in val.args[0].args]))
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/claripy/operations.py", line 65, in _op
    return return_type(name, fixed_args, **kwargs)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/claripy/ast/base.py", line 153, in __new__
    self.__a_init__(op, a_args, **kwargs)
  File "/home/leizhao/.virtualenvs/angr/local/lib/python2.7/site-packages/claripy/ast/base.py", line 203, in __a_init__
    self._simplified = simplified
KeyboardInterrupt