You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Traceback (most recent call last):
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/core/worker.py", line 137, in run
current_state.execute()
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/ethereum/state.py", line 8, in execute
return self._platform.execute()
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/platforms/evm.py", line 3102, in execute
self._process_pending_transaction()
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/platforms/evm.py", line 3394, in _process_pending_transaction
self._open_transaction(sort, address, price, data, caller, value, gas=gas)
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/platforms/evm.py", line 2660, in _open_transaction
self._publish("will_open_transaction", tx)
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/utils/event.py", line 148, in _publish
self._publish_impl(_name, *args, **kwargs)
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/utils/event.py", line 175, in _publish_impl
sink._publish_impl(_name, *args, **kwargs)
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/utils/event.py", line 173, in _publish_impl
sink._publish_impl(_name, self, *args, **kwargs)
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/utils/event.py", line 166, in _publish_impl
callback(robj(), *new_args, **kwargs)
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/core/plugin.py", line 25, in g
return f(self, *args, **kwargs)
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/ethereum/plugins.py", line 71, in will_open_transaction_callback
abi = md.get_abi(func_hsh)
File "/Users/dante/.venv/oyente/lib/python3.9/site-packages/manticore/ethereum/solidity.py", line 226, in get_abi
return dict(self._function_abi_items_by_signature[sig])
KeyError: 'upsert(tuple,bool)'
The text was updated successfully, but these errors were encountered:
Summary of the problem
Manticore can't load correctly ABI by signature
self._function_abi_items_by_signature[sig]
probably miscounts signature for methods with structManticore version
0.3.7
Python version
3.8
OS / Environment
MacOS
Dependencies
Step to reproduce the behavior
Expected behavior
I should get full output of audit
Actual behavior
I get error:
The text was updated successfully, but these errors were encountered: