ERROR:root:Traceback (most recent call last):


 "/Users/matt/anaconda3/lib/python3.7/site-packages/slither_analyzer-0.4.0-py3.7.egg/slither/__main__.py", line 236, in main_impl

(results, number_contracts) = process(filename, args, detector_classes, printer_classes)


 "/Users/matt/anaconda3/lib/python3.7/site-packages/slither_analyzer-0.4.0-py3.7.egg/slither/__main__.py", line 35, in process

slither = Slither(filename, args.solc, args.disable_solc_warnings, args.solc_args, ast)


 "/Users/matt/anaconda3/lib/python3.7/site-packages/slither_analyzer-0.4.0-py3.7.egg/slither/slither.py", line 41, in __init__

self._analyze_contracts()


 "/Users/matt/anaconda3/lib/python3.7/site-packages/slither_analyzer-0.4.0-py3.7.egg/slither/solc_parsing/slitherSolc.py", line 191, in _analyze_contracts

self._convert_to_slithir()


 "/Users/matt/anaconda3/lib/python3.7/site-packages/slither_analyzer-0.4.0-py3.7.egg/slither/solc_parsing/slitherSolc.py", line 317, in _convert_to_slithir

func.convert_expression_to_slithir()


 "/Users/matt/anaconda3/lib/python3.7/site-packages/slither_analyzer-0.4.0-py3.7.egg/slither/solc_parsing/declarations/function.py", line 842, in convert_expression_to_slithir

node.slithir_generation()


 "/Users/matt/anaconda3/lib/python3.7/site-packages/slither_analyzer-0.4.0-py3.7.egg/slither/core/cfg/node.py", line 368, in slithir_generation

self._find_read_write_call()


 "/Users/matt/anaconda3/lib/python3.7/site-packages/slither_analyzer-0.4.0-py3.7.egg/slither/core/cfg/node.py", line 401, in _find_read_write_call

self._high_level_calls.append((ir.destination.type.type, ir.function))
AttributeError: 'NoneType' object has no attribute 'type'

2021-03-25 14:16:07,691 - [1;31mERROR[0m - 44387:DummyThread-33 - zato.server.connection.http_soap.channel:0 - Caught an exception, cid:`24d62342dcbfd57c3af832b3`, status_code:`HTTPStatus.INTERNAL_SERVER_ERROR`, `Traceback (most recent call last):


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/connection/http_soap/channel.py", line 382, in dispatch

payload, worker_store, self.simple_io_config, post_data, path_info, soap_action)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/connection/http_soap/channel.py", line 689, in handle

params_priority=channel_item.params_pri)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/service/__init__.py", line 809, in update_handle

raise e if isinstance(e, Exception) else Exception(e)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/service/__init__.py", line 756, in update_handle

self._invoke(service, channel)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/service/__init__.py", line 630, in _invoke

service.http_method_handlers[service.request.http.method](service)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/service/internal/pubsub/pubapi.py", line 167, in handle_POST

response = dumps(self._get_messages(endpoint_id))


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/service/internal/pubsub/pubapi.py", line 155, in _get_messages

return self.pubsub.get_messages(self.request.input.topic_name, sub_key)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/pubsub/__init__.py", line 1748, in get_messages

}, serialize=False).response


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/pubsub/__init__.py", line 1440, in invoke_service

return self.server.invoke(name, msg, *args, **kwargs)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/base/parallel/__init__.py", line 916, in invoke

*args, **kwargs)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/base/worker/__init__.py", line 1699, in invoke

}, channel, None, needs_response=True, serialize=serialize)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/base/worker/__init__.py", line 1770, in on_message_invoke_service

environ=msg.get('environ'))


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/service/__init__.py", line 805, in update_handle

raise resp_e


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/service/__init__.py", line 784, in update_handle

response = set_response_func(service, data_format=data_format, transport=transport, **kwargs)


 "/opt/zato/3.2.0/code/zato-server/src/zato/server/service/__init__.py", line 598, in set_response_data

response = response.getvalue(serialize=False)


 "src/zato/cy/reqresp/payload.py", line 201, in zato.cy.reqresp.payload.SimpleIOPayload.getvalue


 "src/zato/cy/reqresp/payload.py", line 229, in zato.cy.reqresp.payload.SimpleIOPayload.getvalue


 "src/zato/cy/simpleio.py", line 2187, in zato.simpleio.CySimpleIO.get_output


 "src/zato/cy/simpleio.py", line 2110, in zato.simpleio.CySimpleIO._convert_to_dicts


 "src/zato/cy/simpleio.py", line 2028, in _yield_data_dicts
AttributeError: 'NoneType' object has no attribute 'get'
