mstad

I have cloned it and built the docker container. To use the compiler release 0.5.17, how should I do it?

Hi, I tries to use the master branch to analyze some contract... and I receive some errors. One of them is analyzying the 0x36.sol.txt file and I received 0x36.txt results....

Hi, I tried to use Securify with some other files receving errors processing attached files (0xf41.sol, 0xdb.sol,0x27.sol) [0x41.txt](https://github.com/eth-sri/securify2/files/4938363/0x41.txt) [0x27.txt](https://github.com/eth-sri/securify2/files/4938365/0x27.txt) [0xf41.txt](https://github.com/eth-sri/securify2/files/4938367/0xf41.txt) I am using solc 0.5.15, python 3.7. I do the...

Hi @yxliang01, as soon as I tried to analyze a contract (the contract has the pragma >0.5.0, and the solc that I have installed is the 0.5.15 release), I receive...

The output is ----------------------------------------------------- WARNING:root:You are using an untested version of z3. 4.5.1 is the officially tested version WARNING:root:You are using evm version 1.9.9. The supported version is 1.7.3 WARNING:root:You...

Hi, sorry for the delay. I build oyente docker container from the master branch as oyente. Now, I am trying to using it sharing the directory in which I have...

The error message reports the path that in my intention was shared in the container... but I made a mistake, I think...

@yxliang01 you are totally right, I put the wrong filename... Inserting the right command, I receive an error related to constructor. I attach the command, the error and the file....

@yxliang01 I'll try to rebuild it now and I let you know asap. You are right for the formatting...

Hi, I tries to build the docker from master using: $ docker build --build-arg SOLC_VERSION=0.5.15 -t oyente . Then I launched Oyente and this is the output: $ docker run...