some error when build error

[ouerum]

some error when build error

[ouerum]

sorry, the output file is form /examples/advertisement.sol in you project. And EtherDelta can not run this program.

[ouerum]

also the example in /examples/sums.sol did not work in your project

[tutugordillo]

Hi,
what dou you mean with "did not work in your project"? Did you get an exception message?
Which command did you execute? I have run the three solidity examples that you mention and the execution finishes without error.

[ouerum]

there is no exception msg show for me. I use 'python2 oyente-ethir.py -s xxx.sol' or 'python2 oyente-ethir.py -s xxx.evm -b' to build cfg. Aslo, I try to use python3, but show syntax error.

And I have installed solc, evm, z3 in the way showed in readme.

I did not know what error occurred, so I try to connect you. thinks for your reply.

p.s. I run it in Mac, not Ubuntu :)

[tutugordillo]

If you don't get an exception message it executes correctly. I run it with python 2.7 using the follwoing command:
./oyente-ethir.py -s xxx.sol -cfg
It will generate a .cfg file and a .dot file for each contract that appears in the solidity file. These cfg files contain the cfg of each contract in text mode and as a dot image respectively. Note that each contract of the solidity file is executed independently so EthIR generates one file for each contract. For example, if you run EthIR with the contract that you mention in the first post, it will generate 7 cfg files, 7 dot files, 7 rbr files...one for each contract.

Which versions of solc and evm are you using? They should be solc v0.4.25 and evm v1.8.18

[ouerum]

Thanks. I have try it in Ubuntu and it run correctly but not in osX. It show Exception: 1 when i use command:
python2 ./oyente-ethir.py -s xxx.sol -cfg
When I use Pycharm to debug the detail of this exception, the detail of exception is:
'NoneType' object has no attribute 'get_start_address'

In ubuntu, solc: 0.4.25, evm: 1.8.18. In osX, solc: 0.4.25, evm: 1.8.14-stable

[tutugordillo]

We haven't tested it for osX yet. Can you send me a link to the sol file that you are using to check it?