Traceback (most recent call last):


 "phantom-evasion.py", line 709, in <module>

Phantom_lib.dependencies_checker()


 "Setup/Phantom_lib.py", line 296, in dependencies_checker

kali_parrot_isready()


 "Setup/Phantom_lib.py", line 204, in kali_parrot_isready

wine_check()


 "Setup/Phantom_lib.py", line 510, in wine_check

if "cannot find" in py_check:
TypeError: a bytes-like object is required, not 'str'

Traceback (most recent call last):


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/core/executor.py", line 461, in run

if not current_state.execute():


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/core/state.py", line 127, in execute

result = self._platform.execute()


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/platforms/evm.py", line 2506, in execute

self.current_vm.execute()


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/platforms/evm.py", line 1334, in execute

result = self._handler(*arguments)


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/platforms/evm.py", line 1300, in _handler

return implementation(*arguments)


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/platforms/evm.py", line 1446, in SDIV

result = (abs(s0) // abs(s1) * (-1 if s0 * s1 < 0 else 1))
TypeError: bad operand type for abs(): 'BitVecITE'
