-
Notifications
You must be signed in to change notification settings - Fork 472
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
AttributeError: 'NoneType' object has no attribute 'result' #2547
Comments
Give your user account more balance, such as 10**20. It is due to the insufficient account balance, the |
I think @alexdevassy was running a standalone analysis instead of a python script with its own constraints, so adding more balance wouldn't be possible here. I'm mentioning it because I'm getting the same error and that's what I'm doing. Would you have by any chance another possible solution? Or if it's possible to specify a network? If so, I can default to hardhat and their first account with 10k ETH. @CharesFang Full error:
Manticore call: |
I am having the same issue with the same error as @cdgmachado0. I am also trying to run the analysis on a standalone contract.
|
Same issue here in a monorepo hardhat project. Running locally to analyze source code. Dunno why we're talking about adding balance to account. @CharesFang point about balance seems off topic and misleading.
|
so did anyone figure this out? |
Did anyone sort this out? I am having the same issues too |
Hmm it's been a while but seems to not be addressed. I am facing same issue. |
Have anyfound solution to this, I'm facing this to. |
Summary of the problem
I have using manticore in trailofbits docker image from here https://hub.docker.com/r/trailofbits/eth-security-toolbox. Tried to run manticore against example.sol available in https://github.com/trailofbits/manticore/wiki/Tutorial:-Running-under-Manticore. But it threw me
AttributeError: 'NoneType' object has no attribute 'result'
.Manticore version
Manticore 0.3.6
Python version
Python 3.8.0
OS / Environment
Docker image from https://hub.docker.com/r/trailofbits/eth-security-toolbox
No LSB modules are available.
Distributor ID: Ubuntu
Description: Ubuntu 18.04.6 LTS
Release: 18.04
Codename: bionic
Dependencies
solc, the solidity compiler commandline interface
Version: 0.5.2+commit.1df8f40c.Linux.g++
Step to reproduce the behavior
$ manticore example.sol
Expected behavior
...
... m.c.manticore:INFO: Generated testcase No. 0 - STOP
... m.c.manticore:INFO: Generated testcase No. 1 - REVERT
... m.c.manticore:INFO: Generated testcase No. 2 - RETURN
... m.c.manticore:INFO: Generated testcase No. 3 - REVERT
... m.c.manticore:INFO: Generated testcase No. 4 - STOP
... m.c.manticore:INFO: Generated testcase No. 5 - REVERT
... m.c.manticore:INFO: Generated testcase No. 6 - REVERT
... m.c.manticore:INFO: Results in /home/ethsec/workshops/Automated Smart Contracts Audit - TruffleCon 2018/manticore/examples/mcore_t6vi6ij3
...
Actual behavior
$ manticore example.sol
2022-05-13 11:24:14,653: [135] m.main:INFO: Registered plugins: IntrospectionAPIPlugin, <class 'manticore.ethereum.plugins.SkipRevertBasicBlocks'>, <class 'manticore.ethereum.plugins.FilterFunctions'>
2022-05-13 11:24:14,654: [135] m.main:INFO: Beginning analysis
2022-05-13 11:24:14,658: [135] m.e.manticore:INFO: Starting symbolic create contract
Process Process-12:
Traceback (most recent call last):
File "/usr/lib/python3.6/multiprocessing/process.py", line 258, in _bootstrap
self.run()
File "/usr/lib/python3.6/multiprocessing/process.py", line 93, in run
self._target(*self._args, **self._kwargs)
File "/home/ethsec/.local/lib/python3.6/site-packages/manticore/ethereum/manticore.py", line 1756, in worker_finalize
finalizer(q.get_nowait())
File "/home/ethsec/.local/lib/python3.6/site-packages/manticore/ethereum/manticore.py", line 1747, in finalizer
if only_alive_states and last_tx.result in {"REVERT", "THROW", "TXERROR"}:
AttributeError: 'NoneType' object has no attribute 'result'
2022-05-13 11:24:14,906: [135] m.c.manticore:INFO: Results in /home/ethsec/mcore_y1p5dd8p
2022-05-13 11:24:14,907: [135] m.c.manticore:WARNING: Manticore failed to run
Any relevant logs
code in example.sol from https://github.com/trailofbits/manticore/wiki/Tutorial:-Running-under-Manticore
pragma solidity >=0.4.24 <0.6.0;
contract Simple {
function f(uint a) payable public{
if (a == 65) {
revert();
}
}
}
The text was updated successfully, but these errors were encountered: