Traceback (most recent call last):


 "./myth", line 9, in <module>

mythril.interfaces.cli.main()


 "/mythril/interfaces/cli.py", line 202, in main

max_depth=args.max_depth)


 "/mythril/mythril.py", line 327, in fire_lasers

issues = fire_lasers(sym, modules)


 "/mythril/analysis/security.py", line 20, in fire_lasers

issues += module.execute(statespace)


 "/mythril/analysis/modules/transaction_order_independence.py", line 25, in execute

interesting_storages = list(_get_influencing_storages(call))


 "/mythril/analysis/modules/transaction_order_independence.py", line 102, in _get_influencing_storages

can_change = _can_change(node.constraints, variable)


 "/mythril/analysis/modules/transaction_order_independence.py", line 82, in _can_change

initial_value = int(str(model.eval(variable, model_completion=True)))


 "/usr/local/lib/python3.6/dist-packages/z3/z3.py", line 5575, in eval

if Z3_model_eval(self.ctx.ref(), self.model, t.as_ast(), model_completion, r):
AttributeError: 'NoneType' object has no attribute 'as_ast'

Traceback (most recent call last):


 "C:\Users\ycl\Desktop\sentimentanalysisLSTM+POS.py", line 264, in <module>

model = Model(sentence_input, preds)


 "D:\software\Anaconda\envs\tensorflow-gpu\lib\site-packages\keras\legacy\interfaces.py", line 91, in wrapper

return func(*args, **kwargs)


 "D:\software\Anaconda\envs\tensorflow-gpu\lib\site-packages\keras\engine\network.py", line 93, in __init__

self._init_graph_network(*args, **kwargs)


 "D:\software\Anaconda\envs\tensorflow-gpu\lib\site-packages\keras\engine\network.py", line 231, in _init_graph_network

self.inputs, self.outputs)


 "D:\software\Anaconda\envs\tensorflow-gpu\lib\site-packages\keras\engine\network.py", line 1366, in _map_graph_network

tensor_index=tensor_index)


 "D:\software\Anaconda\envs\tensorflow-gpu\lib\site-packages\keras\engine\network.py", line 1353, in build_map

node_index, tensor_index)


 "D:\software\Anaconda\envs\tensorflow-gpu\lib\site-packages\keras\engine\network.py", line 1353, in build_map

node_index, tensor_index)


 "D:\software\Anaconda\envs\tensorflow-gpu\lib\site-packages\keras\engine\network.py", line 1353, in build_map

node_index, tensor_index)


 "D:\software\Anaconda\envs\tensorflow-gpu\lib\site-packages\keras\engine\network.py", line 1325, in build_map

node = layer._inbound_nodes[node_index]
AttributeError: 'NoneType' object has no attribute '_inbound_nodes'
