Traceback (most recent call last):


 "/usr/lib64/python2.6/atexit.py", line 24, in _run_exitfuncs

func(*targs, **kargs)


 "/usr/lib/python2.6/site-packages/paramiko/transport.py", line 81, in _join_lingering_threads

for thr in _active_threads:
TypeError: 'NoneType' object is not iterable

Traceback (most recent call last):


 "/usr/local/lib/python2.7/dist-packages/manticore/core/executor.py", line 463, in run

if not current_state.execute():


 "/usr/local/lib/python2.7/dist-packages/manticore/core/state.py", line 126, in execute

result = self._platform.execute()


 "/usr/local/lib/python2.7/dist-packages/manticore/platforms/linux.py", line 2133, in execute

self.syscall()


 "/usr/local/lib/python2.7/dist-packages/manticore/platforms/linux.py", line 1978, in syscall

return self._syscall_abi.invoke(implementation)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/cpu/abstractcpu.py", line 384, in invoke

ret = super(SyscallAbi, self).invoke(model, prefix_args)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/cpu/abstractcpu.py", line 337, in invoke

result = model(*arguments)


 "/usr/local/lib/python2.7/dist-packages/manticore/platforms/linux.py", line 1165, in sys_lseek

signed_offset = self._to_signed_dword(offset)


 "/usr/local/lib/python2.7/dist-packages/manticore/platforms/linux.py", line 1024, in _to_signed_dword

sdword = ctypes.c_int64(dword).value
TypeError: an integer is required
