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
Invalid solc compilation : is it a correct error message? #1611
Comments
Hi @sunbeomso, thank you for reporting this issue. Can you confirm that
|
Hi @montyly ,
Finally, I remark that, for this contract, I resolved the issue by providing an options with different solcs:
However, I still encountered the similar situations for a few other contracts. My point is that the produced warning message seems not correct in that the contracts can be compiled with the provided solcs. |
Thanks for the details @sunbeomso. Most likely it's an issue with I can't reproduce the issue locally, could you share how the container was created? If you can't share the container, could you try the following commands:
|
[1] With the command above, Manticore successfully begins analysis without error messages. [2] [3, 4] Both commands (
|
I created the container as follows (which seems there is no unusual part for me):
|
Could you try my steps described above? I have just tried again my steps above without any modifications, and I double-checked that I still encounter the error message Of course, |
@montyly Hi, could you tell me about the progress of this issue? With the latest Manticore (v.0.3.4), I still encounter problems (Manticore produces |
OS / Environment
Host OS: Ubuntu 18.04.2
Manticore version
0.3.3 (from docker image)
Python version
3.6.9 (from docker image)
Summary of the problem
Manticore reports
Invalid solc compilation, none of the solc versions provided worked
, although contracts can be actually compiled by the provided solcs.Step to reproduce the behavior
Let
test.sol
be a contract from:https://etherscan.io/address/0x580c1e3caca14826976b5820947f7ad486ac174d#code
My command was:
Again, I checked that this contract can be compiled with solc 0.4.25.
Expected behavior
If contracts can be compilable by some solcs, then they should be successfully analyzed by Manticore with those solcs.
Actual behavior
Although the contract above can be compiled with solc 0.4.25, Manticore produces a message
Invalid solc compilation, none of the solc versions provided worked
.However, if I provided an option
--solc-solcs-bin solc-0.4.16
(after installing solc-0.4.16), Manticore successfully works.Any relevant logs
The text was updated successfully, but these errors were encountered: