Traceback (most recent call last):


 "/Users/jaraco/code/public/cherrypy/cherrypy/cherrypy/_cprequest.py", line 117, in run_hooks

hook()


 "/Users/jaraco/code/public/cherrypy/cherrypy/cherrypy/_cprequest.py", line 65, in __call__

return self.callback(**self.kwargs)


 "/Users/jaraco/code/public/cherrypy/cherrypy/cherrypy/lib/sessions.py", line 834, in init

set_response_cookie(path=path, path_header=path_header, name=name,


 "/Users/jaraco/code/public/cherrypy/cherrypy/cherrypy/lib/sessions.py", line 875, in set_response_cookie

cherrypy.serving.request.headers.get(path_header) or


 "/Users/jaraco/code/public/cherrypy/cherrypy/cherrypy/lib/httputil.py", line 425, in get

key = self.transform_key(key)


 "/Users/jaraco/code/public/cherrypy/cherrypy/cherrypy/lib/httputil.py", line 460, in transform_key

return key.title()
AttributeError: 'NoneType' object has no attribute 'title'

Traceback (most recent call last):


 "/home/ehennenfent/manticore/manticore/core/worker.py", line 121, in run

current_state.execute()


 "/home/ehennenfent/manticore/manticore/native/state.py", line 192, in execute

result = self._platform.execute()


 "/home/ehennenfent/manticore/manticore/platforms/linux.py", line 2910, in execute

self.current.execute()


 "/home/ehennenfent/manticore/manticore/native/cpu/abstractcpu.py", line 1017, in execute

implementation(*insn.operands)


 "/home/ehennenfent/manticore/manticore/native/cpu/abstractcpu.py", line 1160, in new_method

return old_method(cpu, *args, **kw_args)


 "/home/ehennenfent/manticore/manticore/native/cpu/x86.py", line 5516, in MOVZX

op0.write(Operators.ZEXTEND(op1.read(), op0.size))


 "/home/ehennenfent/manticore/manticore/native/cpu/x86.py", line 778, in read

value = cpu.read_int(self.address(), self.size)


 "/home/ehennenfent/manticore/manticore/native/cpu/abstractcpu.py", line 733, in read_int

data = self._memory.read(where, size // 8, force)


 "/home/ehennenfent/manticore/manticore/native/memory.py", line 1195, in read

solutions = self._try_get_solutions(address, size, "r", force=force)


 "/home/ehennenfent/manticore/manticore/native/memory.py", line 1338, in _try_get_solutions

solutions = solver.get_all_values(


 "/home/ehennenfent/manticore/manticore/core/smtlib/solver.py", line 535, in get_all_values

value = self._getvalue(var)


 "/home/ehennenfent/manticore/manticore/core/smtlib/solver.py", line 384, in _getvalue

return self.__getvalue_bv(expression.name)


 "/home/ehennenfent/manticore/manticore/core/smtlib/solver.py", line 356, in __getvalue_bv

expr, value = m.group("expr"), m.group("value")
# type: ignore
AttributeError: 'NoneType' object has no attribute 'group'
