mstad

@yxliang01 I'll do it now.

Hi, i'll tried and I received this output: docker run -it -v /home/mirkostad/Programmi/perl/simple_contracts/:/share oyente -s /share/my.sol -ce WARNING:root:You are using solc version 0.5.15, The latest supported version is 0.4.19 CRITICAL:root:solc...

@yxliang01 Yes, I would try to do it.

@yxliang01 I build the container from fix-new-solc branch: $ docker build --build-arg SOLC_VERSION=0.5.15 -t oyente . I receive the following output: docker run -it -v /home/mirkostad/Programmi/smart-contracts/Original/:/share oyente_mod:latest -s /share/0x1c_fixed.sol -ce...

@yxliang01 Hi,i tried to use the fix-new-solc branch. I build the new container and tried the same contract. The analysis is not complete, but the output is slighlty different than...

@yxliang01 Hi, i put here the new error message from the same file. docker run -it -v /home/mirkostad/Programmi/smart-contracts/Original/:/share oyente_mod:latest -s /share/0x1c_fixed.sol -ce WARNING:root:You are using solc version 0.5.15, The latest...

@yxliang01 Hi, do you have some news about it?

Hi, this are results with --verbose option; the file is attached. [0x1c_fixed.txt](https://github.com/melonproject/oyente/files/4658758/0x1c_fixed.txt) docker run -it -v /home/mirkostad/Programmi/smart-contracts/Original/:/share oyente_mod:latest -s /share/0x1c_fixed.sol --verbose WARNING:root:You are using solc version 0.5.15, The latest supported...

@yxliang01 Hi build the branch with the following options: docker build --build-arg SOLC_VERSION=0.5.15 --build-arg=ETHEREUM_VERSION=alltools-v1.9.14 -t oyente . If this is correct... I have the following results (something seems changed) docker...

Hi @yxliang01, anything new?