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
I try to use the ManticoreWASM to analyze a wasm file compiled from solidity and I wrote the code
target = "test3.wasm"
m = ManticoreWASM(target)
I got the exception
Traceback (most recent call last):
File "/mnt/d/pythonProject/test2.py", line 106, in <module>
state()
File "/mnt/d/pythonProject/test2.py", line 86, in state
m = ManticoreWASM(target)
File "/home/mo/.local/lib/python3.6/site-packages/manticore/wasm/manticore.py", line 31, in __init__
initial_state = _make_initial_state(path_or_state, env, sup_env, **kwargs)
File "/home/mo/.local/lib/python3.6/site-packages/manticore/wasm/manticore.py", line 209, in _make_initial_state
return _make_wasm_bin(binary_path, env=env, sup_env=sup_env, **kwargs)
File "/home/mo/.local/lib/python3.6/site-packages/manticore/wasm/manticore.py", line 232, in _make_wasm_bin
stub_missing=kwargs.get("stub_missing", True),
File "/home/mo/.local/lib/python3.6/site-packages/manticore/platforms/wasm.py", line 333, in instantiate
self.import_module(self.default_module, exec_start, stub_missing)
File "/home/mo/.local/lib/python3.6/site-packages/manticore/platforms/wasm.py", line 169, in import_module
imports = self.get_module_imports(module, exec_start, stub_missing)
File "/home/mo/.local/lib/python3.6/site-packages/manticore/platforms/wasm.py", line 238, in get_module_imports
i.module, exec_start, stub_missing
File "/home/mo/.local/lib/python3.6/site-packages/manticore/platforms/wasm.py", line 161, in import_module
raise RuntimeError("Missing imported module: " + module_name)
RuntimeError: Missing imported module: ethereum
How can I fix the bug? Any help will be appreciated!
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
I try to use the ManticoreWASM to analyze a wasm file compiled from solidity and I wrote the code
I got the exception
How can I fix the bug? Any help will be appreciated!
Beta Was this translation helpful? Give feedback.
All reactions