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'

Traceback (most recent call last):


 "bin/sam-translate.py", line 141, in <module>

transform_template(input_file_path, output_file_path)


 "bin/sam-translate.py", line 98, in transform_template

sam_template, {}, ManagedPolicyLoader(iam_client))


 "/Users/shreygan/git/serverless-application-model/bin/../samtranslator/translator/transform.py", line 16, in transform

return translator.translate(input_fragment, parameter_values=parameter_values)


 "/Users/shreygan/git/serverless-application-model/bin/../samtranslator/translator/translator.py", line 120, in translate

translated = macro.to_cloudformation(**kwargs)


 "/Users/shreygan/git/serverless-application-model/bin/../samtranslator/model/sam_resources.py", line 125, in to_cloudformation

lambda_alias=lambda_alias)


 "/Users/shreygan/git/serverless-application-model/bin/../samtranslator/model/sam_resources.py", line 335, in _generate_event_resources

resources += eventsource.to_cloudformation(**kwargs)


 "/Users/shreygan/git/serverless-application-model/bin/../samtranslator/model/eventsources/push.py", line 534, in to_cloudformation

self._add_swagger_integration(explicit_api, function)


 "/Users/shreygan/git/serverless-application-model/bin/../samtranslator/model/eventsources/push.py", line 626, in _add_swagger_integration

if method_authorizer == 'NONE' and not api_auth.get('DefaultAuthorizer'):
AttributeError: 'NoneType' object has no attribute 'get'
