securify2
securify2 copied to clipboard
Smartcontracts with imports don´t work
Hello,
I am trying to analyze some smart contracts and i am not able to analyze them if they use imports. I attached a screenshot with the error of ERC165.
Any idea of what i am doing wrong??? Or imports are not supported yet.
Thank you
Hello,
Currently, Securify does not support the import statement. Thank you for pointing that out. I have updated the README so that this is explicit. Just for future reference, the error you are getting comes from the solidity compiler which cannot find the ERC165.sol file. Since you are using docker, the import path should be changed to import /share/ERC165.sol
so Docker can find it.