eth-sri / securify2

Securify v2.0
Apache License 2.0
589 stars 135 forks source link

Does the docker version of securify2 only support the analysis of contracts developed with solidity 0.5.12 #20

Closed xf97 closed 3 years ago

xf97 commented 3 years ago

I see this statement

ARG SOLC=0.5.12

in Dockerflie

xf97 commented 3 years ago

I have multiple versions of solc installed locally. Can I use securify2 to analyze bytecode directly?

six-days commented 3 years ago

I have multiple versions of solc installed locally. Can I use securify2 to analyze bytecode directly?

you can use --solidity choose solc version

xf97 commented 3 years ago

ok, i will try and thanks.