feliam

Could you share which "solc" compiler version do you have installed? thanks.

It looks like the code there has been changed? https://github.com/trailofbits/manticore/blob/b5d9d1da278ed281bbda7e8c0dac2c7010fc5e57/manticore/ethereum.py#L1539-L1557

> I was under the impression that if we don't add any constraint, asking for value takes almost no time. So this should also won't give a very large improvement....

IIRIC this branch actually already works (modulo some simplification for accessing blockchain storage) But it has fallen behind master updates and needs some engineering work to do the merge. branch:...

Hello @694469927 thank you for trying our tool. 1. The "value" of a transaction is just the _ether_ amount sent in it. From the yellow paper: ``` value: A scalar...

Not able to reproduce so far. I'm using ``` solc, the solidity compiler commandline interface Version: 0.4.24+commit.e67f0147.Linux.g++ ``` with something like this... ``` import pyevmasm from manticore.ethereum import ManticoreEVM m...

Okay, 17810 `aVar = aVar + 1;` did it for me. It looks like the a worker eats all memory, dies, and fails to report it to the main manticore...

There is not heartbeat implemented to check if a worker hangs (when using multiprocessing).

oog ignore. ignores the out of gas exceptions. But it still calculates the remaining gas. ex. paying for CALLDATA in a tx. see.. https://github.com/trailofbits/manticore/pull/1823/files

Look out. There is only 1 function in evm. And it starts at 0. The create_func should then assert you are creating it at address zero. Also there is no...